Algebraic Methodology and Software Technology: 4th International Conference, Amast '95, Montreal, Canada, July 3-7, 1995. Proceedings

Vangular S Alagar , Maurice Nivat