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

Constable, R., & Moczydlowski, W. (2008). Extracting Programs from Constructive HOL Proofs via IZF Set-Theoretic Semantics. Logical Methods in Computer Science e.V.

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

Constable, Robert, και Wojciech Moczydlowski. Extracting Programs from Constructive HOL Proofs via IZF Set-Theoretic Semantics. Logical Methods in Computer Science e.V, 2008.

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

Constable, Robert, και Wojciech Moczydlowski. Extracting Programs from Constructive HOL Proofs via IZF Set-Theoretic Semantics. Logical Methods in Computer Science e.V, 2008.