International Conference on Algebraic Methodology and Software Technology(3rd