@book{1162814,
	author = {Поттосин, И. В.},
	title = {О критериях добротности программ},
	publisher = {Ин-т систем информатики},
	year = {1996},
	series = {Препринт},
	address = {Новосибирск},
	note = {Авт. также на англ. яз.: I.V. Pottosin}
}