A Word on Languages
Paul Bagosy
Have Space Suit, Will Travel
Robert A. Heinlein
Specifying Systems: The TLA+ Language and Tools for Hardware ...
Leslie Lamport
A First Course on Data Structures in Python
Donald R. Sheehy
A Briefer History of Time
Hawking, Stephen