Goto paper [L3 ]
[collected works at UT site: http://www.cs.utexas.edu/users/EWD ]
[relation to semaphores, vector, stack, Algol 60, ...]
GPS: My favorite quote (from one of his papers at the URI above) is:
"Being a better programmer means being able to design more effective and trustworthy programs and knowing how to do that efficiently. It is about not wasting storage cells or machine cycles and about avoiding those complexities that increase the number of reasoning steps needed to keep the design under strict intellectual control." Edsger W. Dijkstra