@book{161373,
	author = {Агафонов,Валерий Николаевич and Ершов,  А. П. and Сиб.отд-ние, ВЦ ГПНТБ},
	title = {Спецификация программ: понятийные средства и их организация /},
	publisher = {Наука, Сиб.отд-ние,},
	year = {1987.},
	address = {Новосибирск :},
	note = {В пер.}
}