Mathematical foundations of programming semantics 9th international conference, New Orleans, LA, USA, April 7-10, 1993 : proceedings - Brookes, S. D. (Stephen D.) (Springer-Verlag, 1994)