A Bug Hunter's Diary
Tobias Klein
Transvestia, Vol. 03, No. 13 (February 1962)
Unknown
Hacker Monthly #47
Netizens Media
Hacker Monthly (47)
Working Effectively with Legacy Code
Michael C. Feathers
Specifying Systems: The TLA+ Language and Tools for Hardware ...
Leslie Lamport