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

Martin, A. (1997). Why effective proof tool support for Z is hard. Software Verification Research Centre.

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

Martin, A. Why Effective Proof Tool Support for Z Is Hard. Software Verification Research Centre, 1997.

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

Martin, A. Why Effective Proof Tool Support for Z Is Hard. Software Verification Research Centre, 1997.

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