@book{467,
	author = {Causey, Robert L.},
	title = {Logic sets and recursion},
	publisher = {Jones and Bartlett},
	year = {2010},
	address = {Boston},
	edition = {2nd ed.}
}