Maurice Nivat | Charles Rattray | Teodor Rus
Algebraic Methodology and Software Technology (AMAST'93)
Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, The Netherlands 21-25 June 1993