Specification of software systemsVangalur S. Alagar · First published 1998 · Latest edition 2011Open the Tome
Algebraic methodology and software technologyInternational Conference on Algebraic Methodology and Software Technology (4th 1995 Montréal, Québec), Vangalur S. Alagar, M. Nivat · First published 1995Open the Tome
Object-oriented technology for database and software systemsVangalur S. Alagar · First published 1995Open the Tome