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.

Чикаго-гийн эшлэл (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 -ийн эшлэл (9 дэх хэвлэлт)

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

Анхааруулга: Эдгээр ишлэлүүд үргэлж 100% үнэн зөв биш байж магадгүй.