“...International Conference on Algebraic Methodology and Software Technology University of Twente...”