马丁·霍夫曼;拉米亚，拉米亚;乌尔里希·舍普 纯指针程序和树同构。 （英语） 兹比尔1260.68099 Pfenning，Frank（编辑），《软件科学和计算结构基础》。2013年3月16日至24日在意大利罗马举行的第16届国际会议FOSSACS 2013，是欧洲软件理论与实践联合会议ETAPS 2013的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-37074-8/pbk）。计算机科学课堂讲稿7794，321-336（2013）。MSC公司：68号30 68第05页 65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{M.Hofmann}等人，Lect。注释计算。科学。7794、321--336（2013年；Zbl 1260.68099） 全文： 内政部
马丁·霍夫曼;乌尔里希·舍普 带迭代的纯指针程序。 （英语） Zbl 1351.68101号 ACM事务处理。计算。日志。 11，第4号，第26条，第23页（2010年）.MSC公司：2005年第68季度 2015年第68季度 68问题65 68周05 PDF格式BibTeX公司 XML格式引用 \textit{M.Hofmann}和\textit{U.Schöpp}，ACM Trans。计算。日志。11，第4号，第26条，23页（2010年；Zbl 1351.68101） 全文： 内政部
马丁·霍夫曼;乌尔里希·舍普 带迭代的纯指针程序。 （英语） Zbl 1156.68612号 迈克尔·卡明斯基（编辑）等人，《计算机科学逻辑》。2008年9月16日至19日，在意大利贝蒂诺罗举行的第22届CSL国际研讨会，第17届EACSL年会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-87530-7/pbk）。计算机科学课堂讲稿5213，79-93（2008）。MSC公司：68周05 68号30 19年第68季度 65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{M.Hofmann}和\textit{U.Schöpp}，莱克特。注释计算。科学。5213、79-93（2008年；Zbl 1156.68612） 全文： 内政部