“...International Conference on Algebraic Methodology and Software Technology Iowa City, Iowa)...”