Tribute to Michael Hart by AlHydar, Majid
 is a Project Gutenberg book, now on Github.