The Legend Of Koizumi 21
Unknown
The Moon is a Harsh Mistress
Robert A. Heinlein
Character Sheet
The Way of the Househusband Volume 3
Kousuke Oono
Specifying Systems: The TLA+ Language and Tools for Hardware ...
Leslie Lamport