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