Algebraic Methodology and Software Technology (AMAST '93) : proceedings of the