Liskov, Barbara. Ispol'zovanie abstrakcij i specifikacij pri razrabotke programm / Tyt. oryg.: Abstraction and specification in program development B. Liskov, Dž. Gateg ; per. s angl. S. A. Žigalkina [et al.]. - Moskva : Mir, 1989. - 424 s. ; 22 cm. ISBN: 5030004890 Subjects--Topical Terms: Komputery--programowanie.