@book{51856,
	author = {Michaelson, Greg},
	title = {An Introduction To Functional Programming Through Lambda Calculus},
	publisher = {Dover Publications},
	address = {New York},
	edition = {-},
	note = {4876}
}