佐哈尔·曼纳；理查德·沃尔丁格 计算机程序设计的演绎基础。（《计算机编程的逻辑基础》一卷本）。 （英语） Zbl 0846.68013号 马萨诸塞州雷丁：Addison-Wesley。xiv，717 p.（1993）。 审核人：U.Hahn（弗赖堡i.Br.） MSC公司：68号01 68-01 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{Z.Manna}和\textit{R.Waldinger}，计算机编程的演绎基础。（《计算机编程的逻辑基础》的1卷版本。）。马萨诸塞州雷丁：Addison-Wesley（1993；Zbl 0846.68013）
佐哈尔·曼纳；理查德·沃尔丁格 如何清除障碍：在情景逻辑中规划编队。 （英语） Zbl 0609.68063号 自动扣除，程序。第八届国际会议，牛津/英国。1986年，Lect。票据计算。科学。230, 622-640 (1986).MSC公司：68吨15 PDF格式BibTeX公司 XML格式