The Diamond Lens by O'Brien, Fitz James
 is a Project Gutenberg book, now on Github.