"Abstraction and Specification in Program Development (MIT Electrical Engineering and Computer Science Series)" - читать интересную книгу автора (Barbara Liskov, John V. Guttag)