@book{1423956,
	author = {Запреев, И. С.},
	title = {Анализ добротности информационных потоков в программах на языках модула-2/оберон-2},
	publisher = {Прайс-курьер},
	year = {2004},
	series = {Препринт},
	address = {Новосибирск},
	note = {Авт. также на англ. яз.: I.V. Zapreev}
}