@book{33509,
	author = {Kfoury, A J. and Moll, Robert N.},
	title = {A programming approach to computability. /},
	publisher = {Springer-Verlag,},
	year = {c1982.},
	address = {New York :},
	note = {Includes references and indices}
}