扬尼克·韦尔奇;阿恩·施·赫夫特 面向对象语言的包边界的完全抽象。 （英语） Zbl 1349.68047号 Simao，Adenilso（编辑）等，《形式方法、基础和应用》。2011年9月26日至30日，巴西圣保罗，第14届巴西研讨会，SBMF 2011。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-25031-6/pbk）。计算机科学课堂讲稿7021，28-43（2011）。MSC公司：68甲15 68甲19 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{Y.Welsch}和\textit{A.Poetzsch-Heffter}，莱克特。注释计算。科学。7021，28-43（2011；Zbl 1349.68047） 全文： 内政部
阿恩·施·赫夫特 面向对象编程的概念。介绍Java。第二次修订版。（Java中的Konzepte objektorientierter Programmierung.Mit einer Einführung） （德语） Zbl 1170.68008号 eXamen.新闻。柏林：施普林格出版社（ISBN 978-3-540-89470-4/pbk；978-3-540-89471-1/电子书）。xiv，第352页。(2009).MSC公司：68甲19 68甲15 68-01 PDF格式BibTeX公司 XML格式引用 \textit｛A.Poetzsch Heffter｝，Konzepte objektorientiterter Programmierung。Mit einer Einführung在爪哇。第二次修订版，柏林：施普林格出版社（2009；Zbl 1170.68008） 全文： 内政部
阿恩·施·赫夫特;1月Schäfer 面向对象组件的表示相关的行为语义。 （英语） Zbl 1202.68100号 Bonsange，Marcello M.（编辑）等人，开放式基于对象的分布式系统的形式化方法。2007年6月6日至8日在塞浦路斯帕福斯举行的第九届IFIP工作组6.1国际会议FMOODS 2007。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-72919-8/pbk）。计算机科学课堂讲稿4468157-173（2007）。MSC公司：68甲19 68甲15 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Poetzsch-Heffter}和\textit{J.Schäfer}，莱克特。注释计算。科学。4468，157--173（2007；Zbl 1202.68100） 全文： 内政部
阿恩·施·赫夫特;凯萨琳·盖尔曼;1月Schäfer 推断封装的面向对象程序组件的所有权类型。 （英语） Zbl 1149.68342号 Reps，Thomas（编辑）等人，《程序分析与编译，理论与实践》。在莱因哈德·威廉60岁生日之际，为他撰写的论文。柏林：施普林格出版社（ISBN 978-3-540-71315-9/pbk）。计算机科学课堂讲稿4444120-144（2007）。MSC公司：68甲19 PDF格式BibTeX公司 XML格式引用 \textit{A.Poetzsch-Heffter}等人，Lect。注释计算。科学。4444、120--144（2007年；Zbl 1149.68342） 全文： 内政部
阿恩·施·赫夫特;1月Schäfer 封装的面向对象组件的模块化规范。 （英语） Zbl 1196.68040号 de Boer，Frank S.（编辑）等人，组件和对象的形式化方法。2005年11月1日至4日，荷兰阿姆斯特丹，第四届国际研讨会，FMCO 2005。修订的讲座。柏林：施普林格出版社（ISBN 3-540-36749-7/pbk）。计算机科学讲义4111，313-341（2006）。MSC公司：68甲19 PDF格式BibTeX公司 XML格式引用 \textit｛A.Poetzsch Heffter｝和\textit｛J.Schäfer｝，Lect。注释计算。科学。41111313-341（2006年；兹bl 1196.68040） 全文： 内政部
彼得·米勒;阿恩·施·赫夫特;Gary T.Leavens。 分层对象结构的模块不变量。 （英语） Zbl 1100.68539号 科学。计算。程序。 62，第3期，253-286（2006）.MSC公司：68甲19 PDF格式BibTeX公司 XML格式引用 \textit{P.Müller}等人，科学。计算。程序。62，第3号，253--286（2006；Zbl 1100.68539） 全文： 内政部 链接
Gary T.Leavens。;索菲亚·德罗索波卢;苏珊·艾森巴赫;阿恩·施·赫夫特;埃里克·波尔 Java程序的形式化技术。 （英语） Zbl 1048.68811号 弗罗纳，阿尔科斯（编辑），面向对象技术。ECOOP 2001车间读取器。小组和海报，匈牙利布达佩斯，2001年6月18日至22日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43675-8）。勒克特。注释计算。科学。2323, 30-40 (2002).MSC公司：68单位99 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{G.T.Leavens}等人，Lect。注释计算。科学。2323，30--40（2002；Zbl 1048.68811） 全文： 链接
索菲亚·德罗索波卢;苏珊·艾森巴赫;Gary T.Leavens。;阿恩·施·赫夫特;埃里克·波尔 类Java程序的形式化技术。 （英语） Zbl 1033.68763号 Hernández，Juan（编辑）等人，面向对象技术。ECOOP 2002车间读取器。ECOOP 2002年研讨会和海报，西班牙马拉加，2002年6月10日至14日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-00233-2/pbk）。勒克特。注释计算。科学。2548, 203-210 (2002).MSC公司：68单位99 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{S.Drossopoulou}等人，Lect。注释计算。科学。2548203-210（2002年；Zbl 1033.68763） 全文： 链接
阿恩·施·赫夫特 面向对象编程的概念和Java简介。带CD-ROM。（Konzepte objektorientierter Programmierung.Mit einer Einführung in Java.Mit CD-ROM） （德语） 兹比尔1162.68397 柏林：施普林格出版社（ISBN 3-540-66793-8）。xii，第352页。(2000).MSC公司：68甲19 68-01 PDF格式BibTeX公司 XML格式引用 \textit{A.Poetzsch-Heffter}，Konzepte objektorientierter Programmierung。Mit einer Einführung在爪哇。Mit CD-ROM。柏林：施普林格出版社（2000；Zbl 1162.68397）