Lange, M. (2010). Extended Comptation Tree Logic (Extended Abstract).
Чикаго-гийн эшлэл (17 дахь хэвлэлт)Lange, M. Extended Comptation Tree Logic (Extended Abstract). 2010.
MLA -ийн эшлэл (9 дэх хэвлэлт)Lange, M. Extended Comptation Tree Logic (Extended Abstract). 2010.
Анхааруулга: Эдгээр ишлэлүүд үргэлж 100% үнэн зөв биш байж магадгүй.