Author: International Conference on Algebraic Methodology and Software Technology (2nd 1991 Iowa City, Iowa)