SUCCESSFUL OPERATION
Robert A. Heinlein
Specifying Systems: The TLA+ Language and Tools for Hardware ...
Leslie Lamport
Prodigal Son
Dean Koontz & Kevin J. Anderson
Password Incorrect
Nick Name
In the Beginning...was the Command Line
Neal Stephenson