@book{157813,
	author = {Kleene, S C},
	title = {Formalized recursive functionals and formaized realizability},
	publisher = {American mathematical society},
	year = {1969},
	address = {Providence, Rhode Islan}
}