"Abstraction and specification in program development" - читать интересную книгу автора (Barbara Liskov, John V. Guttag)