The Mythical Man Month
Frederick Brooks
Specifying Systems: The TLA+ Language and Tools for Hardware ...
Leslie Lamport
Seven Languages in Seven Weeks
Bruce A. Tate
Seven More Languages in Seven Weeks
Bruce A. Tate, Fred Daoud, Ian Dees, Jack Moffitt
Just In Tokyo 2002
Justin Hall