Hoare, C. (2015). Satisfiability.
Чикаго-гийн эшлэл (17 дахь хэвлэлт)Hoare, C. Satisfiability. 2015.
MLA -ийн эшлэл (9 дэх хэвлэлт)Hoare, C. Satisfiability. 2015.
Анхааруулга: Эдгээр ишлэлүүд үргэлж 100% үнэн зөв биш байж магадгүй.
APA-ийн эшлэл(7 дахь хэвлэлт)