توثيق جمعية علم النفس الأمريكية APA (الطبعة السابعة)

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

توثيق أسلوب شيكاغو (الطبعة السابعة عشر)

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

توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)

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

تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.