Author: International Conference on Algebraic Methodology and Software Technology (5th 1996 Munich, Germany)