Third International Conference on Algebraic Methodology and Software Technology,