@book{9348,
	author = {Hindley, J. Roger},
	title = {Introduction to combinators and calculus},
	publisher = {CUP},
	year = {1986},
	series = {London mathematical society student texts},
	address = {Cambridge}
}