Author: International Conference on Algebraic Methodology and Software Technology (4th 1995 Montréal, Québec)