The OCaml System: Documentation and User's Manual
Damien Doligez, Alain Frisch, Jacques Garrigue, Didier Rémy & Jérôme Vouillon
An introduction to logic programming through Prolog
Michael Spivey
The Legend Of Koizumi 57
Unknown
The Legend Of Koizumi 13
Anathem
Neal Stephenson