@book{47996,
	author = {Барендретт, Х.},
	title = {Ламбда-исчисление.Его синтаксис и семантика.},
	address = {Москва}
}