APA-referens (7:e uppl.)

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

Chicago-referens (17:e uppl.)

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

MLA-referens (9:e uppl.)

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

Varning: dessa hänvisningar är inte alltid fullständigt riktiga.