Selected papers of the Third International Conference on Algebraic Methodology of Software Technology Enschede, The Netherlands, 21 - 25 June 1993 (Elsevier, 1995)
In: Theoretical computer science. Vol. 140, No. 1, 1995