Lange, M. (2010). Extended Comptation Tree Logic (Extended Abstract).
Dyfyniad Arddull ChicagoLange, M. Extended Comptation Tree Logic (Extended Abstract). 2010.
Dyfyniad MLALange, M. Extended Comptation Tree Logic (Extended Abstract). 2010.
Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.