@book{95204,
	author = {Лисков, Барбара and Гатэг, Джон},
	title = {Использование абстракций и спецификаций при разработке программ /},
	publisher = {Мир,},
	year = {1989.},
	address = {Москва :},
	note = { Перевод изд.: Abstraction and specification in program development / Barbara Liskov, John Guttag (New Уork etc.).}
}