Author: International Conference on Algebraic Methodology and Software Technology (3rd 1993 University of Twente)