APA-ийн эшлэл(7 дахь хэвлэлт)

(2005). Abstraction, refinement and proof for probabilistic systems / Annabelle McIver, Carroll Morgan.

Чикаго-гийн эшлэл (17 дахь хэвлэлт)

Abstraction, Refinement and Proof for Probabilistic Systems / Annabelle McIver, Carroll Morgan. 2005.

MLA -ийн эшлэл (9 дэх хэвлэлт)

Abstraction, Refinement and Proof for Probabilistic Systems / Annabelle McIver, Carroll Morgan. 2005.

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