The Legend Of Koizumi 17
Unknown
An investigation of the Therac-25 accidents - Computer
IEEE
Elm in Action MEAP V07
Richard Feldman
Hacker Monthly #15
Netizens Media
Hacker Monthly (15)
Specifying Systems: The TLA+ Language and Tools for Hardware ...
Leslie Lamport