@book{6115,
	author = {Henderson, Peter},
	title = {Functional programming},
	publisher = {Prentice Hall,},
	year = {1980.},
	address = {NJ:}
}