P.W.奥赫恩。;鲍尔，A.J。;M.竹山。;R.D.坦能。 再次讨论干扰的句法控制。 （英语） 兹比尔0956.68082 西奥。计算。科学。 228，编号1-2，211-252（1999）.MSC公司：68问题55 68甲15 PDF格式BibTeX公司 XML格式引用 \textit｛P.W.O’Hearn｝等人，Theor。计算。科学。228，编号1--2，211-252（1999；Zbl 0956.68082） 全文： 内政部
吉木健太;O'Hearn，Peter W。;鲍尔，A.约翰;木本武山;罗伯特·D·坦能。 二元逻辑关系的公理化方法及其在数据求精中的应用。 （英语） Zbl 0882.18006号 马丁·阿巴迪等人，《计算机软件的理论方面》。第三届国际研讨会，1997年TACS。1997年9月23日至26日，日本仙台。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1281, 191-212 (1997).MSC公司：18立方厘米 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{Y.Kinoshita}等人，Lect。注释计算。科学。1281191--212（1997；Zbl 0882.18006）
O'Hearn，Peter W。（编辑）;罗伯特·D·坦能。（编辑） 类ALGOL语言。（2卷）。 （英语） 兹伯利0882.68023 理论计算机科学进展。巴塞尔：Birkhä用户。650页（1996年）。 审核人：T.Bélénescu（布库雷什蒂） MSC公司：68甲15 68问题55 68-01 PDF格式BibTeX公司 XML格式引用 \textit{P.W.O'Hearn}（编辑）和\textit{R.D.Tennent}（编），类ALGOL语言。（2卷）。巴塞尔：Birkhäuser（1996年；兹bl 0882.68023）
彼得·奥赫恩;权力，约翰;罗伯特·坦尼特;木本武山 再次讨论干扰的句法控制。 （英语） Zbl 0943.68108号 Brookes，Steve（编辑）等人，《编程语义的数学基础》。1995年3月29日至4月1日，美国路易斯安那州新奥尔良市杜兰大学第十一届会议记录（MFPS）。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。第1、40页（1995年）。MSC公司：68问题55 PDF格式BibTeX公司 XML格式引用 \textit{P.O'Hearn}等人，in：编程语义的数学基础。1995年3月29日至4月1日，美国路易斯安那州新奥尔良市杜兰大学第十一届会议记录（MFPS）。阿姆斯特丹：爱思唯尔。40页（1995年；Zbl 0943.68108） 全文： 链接
彼得·弗雷德;彼得·奥赫恩;权力，约翰;罗伯特·坦尼特;Makoto Takeyama 双反射。 （英语） Zbl 0908.18002号 Brookes，Steve（编辑）等人，《编程语义的数学基础》。1995年3月29日至4月1日，美国路易斯安那州新奥尔良市杜兰大学第十一届会议记录（MFPS）。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。第1、15页（1995年）。MSC公司：18A40型 68问题55 18日第10天 18立方厘米 18A32飞机 PDF格式BibTeX公司 XML格式引用 \textit{P.Freyd}等人，in：编程语义的数学基础。1995年3月29日至4月1日，美国路易斯安那州新奥尔良市杜兰大学第十一届会议记录（MFPS）。阿姆斯特丹：爱思唯尔。15页（1995年；Zbl 0908.18002） 全文： 链接
P.W.奥赫恩。;R.D.坦能。 参数和局部变量。 （英语） Zbl 0885.68039号 J.助理计算。机器。 42，第3期，658-709（1995）.MSC公司：68甲15 PDF格式BibTeX公司 XML格式引用 \textit{P.W.O'Hearn}和\textit{R.D.Tennent}，J.协会计算。机器。42，第3号，658--709（1995；Zbl 0885.68039） 全文： 内政部 链接
P.W.奥赫恩。;R.D.坦能。 规范逻辑的语义分析。二、。 （英语） Zbl 0797.68105号 Inf.计算。 107，第1号，25-57（1993）.MSC公司：68问题55 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.W.O'Hearn}和\textit{R.D.Tennent}，Inf.Compute。107，第1号，25-57（1993年；Zbl 0797.68105） 全文： 内政部
P.W.奥赫恩。;田纳西州。 局部变量的语义。 （英语） Zbl 0798.68093号 Fourman，M.P.（编辑）等人，《类别在计算机科学中的应用》。1991年7月20日至30日在英国达勒姆大学举行的LMS研讨会论文集。剑桥：剑桥大学出版社。伦敦。数学。Soc.Lect（社会学）。注释序列号。177, 217-238 (1992).MSC公司：68问题55 18立方厘米 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{P.W.O'Hearn}和\textit{R.D.Tennent}，伦敦。数学。Soc.Lect（社会学）。注释序列号。177217--238（1992年；Zbl 0798.68093）