Ispol'zovanije abstrakcij i specifikacij pri razrabotke programm - Liskov, Barbara (Mir, 1989)