Odyssey
Vance Moore
Odyssey (1)
OCaml Programming: Correct + Efficient + Beautiful
Michael R. Clarkson
Foundations of Programming
Karl Seguin
Columbus Was A Dope
Robert A. Heinlein
Network Distributed Computing: Fitscapes and Fallacies: Fitscapes ...
Max K. Goff