An Algebraic Development Technique for Information Systems (1995)

by M Gogolla, R Herzig
Venue:Algebraic Methodology and Software Technology (AMAST '95, Proceedings