Nico Plat

• Validated Designs for Object-Oriented Systems