"Program Development in Java: Abstraction, Specification, and Object-Oriented Design " - читать интересную книгу автора (Barbara Liskov, John Guttag)