Semantics. Foundations and applications : Proceedings, Beekbergen, The Netherlands, June 1 - 4, 1992 - Back, R. J. R. (Lecture notes in computer science, 1993)