APA-ийн эшлэл(7 дахь хэвлэлт)
Iman Hafiz Poernomo, M. W. Adapting Proofs-as-Programs: The Curry--Howard Protocol. Springer.
Чикаго-гийн эшлэл (17 дахь хэвлэлт)
Iman Hafiz Poernomo, Martin Wirsing. Adapting Proofs-as-Programs: The Curry--Howard Protocol. Nueva York, EUA: Springer.
MLA -ийн эшлэл (9 дэх хэвлэлт)
Iman Hafiz Poernomo, Martin Wirsing. Adapting Proofs-as-Programs: The Curry--Howard Protocol. Springer.
Анхааруулга: Эдгээр ишлэлүүд үргэлж 100% үнэн зөв биш байж магадгүй.