Validated Designs For Object-Oriented Systems door John Fitzgerald, Systematic Software Engineering Peter G. Larsen & Paul Mukherjee