"Object-Oriented Behavioral Specifications" - читать интересную книгу автора (H. Kilov, William Harvey)