Kleene, S C <br/><br/>
Formalized recursive functionals and formaized realizability 

 - Providence, Rhode Islan  American mathematical society  1969 
 - 106p p.