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

(1976). Recursive program schemes: Semantics and proof theory / W. P. de Roever, Jr.

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

Recursive Program Schemes: Semantics and Proof Theory / W. P. De Roever, Jr. 1976.

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

Recursive Program Schemes: Semantics and Proof Theory / W. P. De Roever, Jr. 1976.