@book{20935,
	author = {Soare, Robert I.},
	title = {Turing computability :},
	publisher = {Springer,},
	year = {c2016.},
	address = {Berlin :},
	note = {Includes bibliographical references and index.}
}