@book{146900,
	author = {Агафонов, Валерий Николаевич and Котов, В. Е.},
	title = { Спецификация программ: понятийные средства и их организация /},
	publisher = {Наука,},
	year = {1990.},
	address = {Новосибирск  :},
	edition = {2-е изд., испр. и доп.},
	note = {Предм. указ.: с. 216-221.}
}