Ispol´zovanije abstrakcij i specifikacij pri razrabotke programm - Liskov, Barbara; Guttag, John (Moskva : Mir, 1989)