Mathematical foundations of programming semantics : 7th international conference, Pittsburgh, PA, USA, March 25-28, 1991 : proceedings - Brookes, S. D. (Stephen D.) (Lecture notes in computer science, 1992)