Formal methods and object technology /
Kent, S. J. H.(Stuart John Harding),1966-
Goldsack, Stephen J.,1926-
London : Springer,
c1996.
Bibliography: p336-356. - Includes index
Object-oriented programming (Computer science)