帕特里克·布莱克本;约翰·博斯;克里斯蒂娜·斯特里格尼茨 立即学习Prolog！海尔·马努利安译。（Prolog，toute de suite！Traduit par Hélène Manuélian。） （法语） Zbl 1209.68079号 Logique et d’epistémologie餐厅1.伦敦：学院出版物（ISBN 978-1-904987-52-9）。xix，第283页。(2007).MSC公司：68甲15 68N17号 68-01 PDF格式BibTeX公司 XML格式引用 \textit{P.Blackburn}等人，Prolog，toute de suite！特拉杜伊特·帕尔·赫莱恩·马努利安（Traduit par Hélène Manuélian）。伦敦：学院出版物（2007；Zbl 1209.68079）
帕特里克·布莱克本;约翰·博斯;克里斯蒂娜·斯特里格尼茨 立即学习Prolog！ （英语） Zbl 1192.68117号 计算中的文本7.伦敦：国王学院出版物（ISBN 1-904987-17-6）。xiv，第265页。(2006).MSC公司：第68页第15页 68N17号 68-01 PDF格式BibTeX公司 XML格式引用 \textit{P.Blackburn}等人，立即学习序言！。伦敦：国王学院出版物（2006；Zbl 1192.68117）
帕特里克·布莱克本;约翰·博斯 计算语义。 （英语） Zbl 1030.68092号 塞贡达·埃波卡理论 18，第46号，27-45（2003）.MSC公司：68T50型 PDF格式BibTeX公司 XML格式引用 \textit{P.Blackburn}和\textit{J.Bos}，《理论》，Segunda Epoca 18，第46、27和45号（2003；Zbl 1030.68092）