@book{78499,
	author = {Ершов, Андрей Петрович},
	title = {Введение в теоретическое программирование :},
	publisher = {Наука,},
	year = {1977.},
	address = {М. :}
}