Παραπομπή σε μορφή APA (7η εκδ.)

Kleene, S. C. (1969). Formalized recursive functionals and formalized realizability. American Mathematical Society.

Παραπομπή σε μορφή Chicago (17η εκδ.)

Kleene, Stephen Cole. Formalized Recursive Functionals and Formalized Realizability. Providence, R.I.: American Mathematical Society, 1969.

Παραπομπή σε μορφή MLA (9th εκδ.)

Kleene, Stephen Cole. Formalized Recursive Functionals and Formalized Realizability. American Mathematical Society, 1969.