@book{7271559,
	author = {Буда, А.О.},
	title = {Абстрактные машины программ},
	publisher = {ВЦ СО АН СССР},
	year = {1978},
	series = {Препринт},
	address = {Новосибирск}
}