Refinement in Z and Object-Z : foundations and advanced applications /
Derrick, John,1963-
Boiten, Eerke,1966-
London : Springer,
c2001.
Includes bibliographical references and index.
Z (Computer program language)
Object-oriented programming (Computer science)