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