@book{8710,
	author = {Colloquium on Logic, University of Leeds, England, 5-14 Aug., 1979 and Drake, F. R.},
	title = {Recursion theory},
	publisher = {Cambridge University Press,},
	year = {1980},
	address = {Cambridge:}
}