Algebraic Specification Techniques in Object-Oriented Programming Environments (1991)

by R BREU