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