@book{14437,
	author = {Hindley, J. Roger},
	title = {Lambda-calculus and combinators, an introduction},
	year = {2010}
}