Lua APA (7ú heag.)

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

Lua i Stíl Chicago (17ú heag.)

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

Lua MLA (9ú heag.)

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

Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.