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