Eulogy [L1 ]
Goto paper [L2 ]
[collected works at UT site: http://www.cs.utexas.edu/users/EWD ]
[relation to semaphore, vector, stack, Algol 60, ...]