@book{38193,
	author = {Cutland, Nigel},
	title = {Computability, an introduction to recursive function theory},
	publisher = {The University Press},
	year = {1990},
	address = {Cambridge}
}