Algebraic Methodology and Software Technology (AMAST’93) - Algebraic Methodology and Software Technology (AMAST'93): Proceedings of the Third International Conference, University of Twente, Enschede, The Netherlands 21–25 June 1993