@book{77361,
	author = {Котов, Вадим Евгеньевич and Сабельфельд, Виктор Карлович},
	title = {Теория схем программ / },
	publisher = {Наука, },
	year = {1991.},
	address = {Москва :}
}