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 (Paperback, Softcover reprint of the original 1st ed. 1994)