The Legend Of Koizumi 60
Unknown
Haskell vs. Ada vs. C++ vs. Awk vs. ... An Experiment in Software ...
Paul Hudak & Mark Jones
The Legend Of Koizumi 68
The Worlds of Robert A Heinlein
Robert A. Heinlein
Specifying Systems: The TLA+ Language and Tools for Hardware ...
Leslie Lamport