"Validated Designs for Object-oriented Systems" - читать интересную книгу автора (John S. Fitzgerald, Peter Gorm Larsen, Paul Mukherjee, Nico Plat, Marcel Verhoef)