A Language for Specifying Type Contracts in Erlang and its Interaction ...
Unknown
Amazing Maurice and His Educated Rodents
Pratchett, Terry
Discworld (28)
Dark Side of the Sun
The Roads Must Roll
Robert A. Heinlein
Foundations of Programming
Karl Seguin