Validated Designs for Object-oriented Systems | lit.salon