International Conference on Algebraic Methodology and Software Technology (4th 1995 Montréal, Québec) | lit.salon