The Square Root of 7 by Bonnell, Jerry T. Nemiroff, Robert J.
 is a Project Gutenberg book, now on Github.