Books by International Conference on Algebraic Methodology and Software Technology (2nd 1991 Iowa City, Iowa) on BookTides.