The Legend Of Koizumi 78
Unknown
The Part-Time Parliament
Leslie Lamport
The Legend Of Koizumi 28
By His Bootstraps
Robert A. Heinlein
Specifying Systems: The TLA+ Language and Tools for Hardware ...