Formal methods and object technologyStephen J. Goldsack · First published 1996 · Latest edition 2012Open the Tome