@book{15951,
	author = {Cutland, Nigel},
	title = {Computability: An introduction to recursive function theory /},
	publisher = {Cambridge University Press, Cambridge,},
	year = {1980}
}