Books by International Conference on Algebraic Methodology and Software Technology (4th 1995 Montréal, Québec) on BookTides.