Algebraic Speci cation Techniques in Object{Oriented Programming Environments, volume 562 of LNCS (1991)

by R Breu