@book{47474,
	author = {Richter, Lutz,},
	title = {Implementing functions:},
	publisher = {North-Holland Pub. Co. ;},
	year = {c1981.},
	address = {Amsterdam ;}
}