The Legend Of Koizumi 64
Unknown
Programming Phoenix ≥ 1.4 (for Correl Roush)
Chris McCord, Bruce Tate, José Valim
dune documentation
Jérémie Dimino
Hacker Monthly #32
Netizens Media
Hacker Monthly (32)
Specifying Systems: The TLA+ Language and Tools for Hardware ...
Leslie Lamport