J. W. de Bakker Willem P. de Roever Grzegorz Rozenberg Sematics: Foundations and Applications, REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992, Proceedings REX Workshop Lecture Notes in Computer Science 666 Springer 1993 3-540-56596-5 db/conf/rex/rex92.html