Validated Designs for Object-Oriented SystemsJohn Fitzgerald, Peter Gorm Larsen, Paul Mukherjee₹4,203
