Author: International Conference on Algebraic Methodology and Software Technology (8th 2000 Iowa City, Iowa)