LaTeXRefCard.v2.0
Unknown
Specifying Systems: The TLA+ Language and Tools for Hardware ...
Leslie Lamport
The Legend Of Koizumi 72
The Green Hills of Earth
Robert A. Heinlein
Across the Horizon in Our Minds
LadyKarai