Erlang and OTP in Action
Martin Logan & Eric Merritt & Richard Carlsson
Boys Run the Riot 4
Keito Gaku
Red Planet
Robert A. Heinlein
Masquerade Cycle • Book II • Nemesis
Paul B. Thompson
Masquerade Cycle (2)
Specifying Systems: The TLA+ Language and Tools for Hardware ...
Leslie Lamport