@book{19872,
	author = {Jones, Neil D.},
	title = {Computability and complexity :},
	publisher = {MIT Press,},
	year = { 1997},
	address = {Cambridge, MA:}
}