Hacker Monthly #25
Netizens Media
Hacker Monthly (25)
Gulf
Robert A. Heinlein
Judgement
Will McDermott
Odyssey (3)
Sixth Column
Specifying Systems: The TLA+ Language and Tools for Hardware ...
Leslie Lamport