Validated Designs for Object-Oriented Systems | lit.salon