大卫·萨贝尔；曼弗雷德·施密特·沙乌 观察pi-calculus的成功。 （英语） Zbl 1428.68206号 Chiba，Yuki（编辑）等人，2015年7月2日于波兰华沙举行的第二届程序转换和评估改写技术国际研讨会，WPTE'15。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。OASIcs–OpenAccess服务器。通知。46，31-46（2015年）。MSC公司：68问题85 第68季度第42季度 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{D.Sabel}和\textit{M.Schmidt-Schauß}，OASIcs--OpenAccess Ser。通知。46、31-46（2015年；Zbl 1428.68206） 全文： 内政部
曼弗雷德·施密特·沙乌；大卫·萨贝尔；约阿希姆·尼伦；施温哈默（Jan Schwinghammer） 观察程序计算和翻译的正确性。 （英语） Zbl 1309.68052号 西奥。计算。科学。 577, 98-124 (2015).MSC公司：68号30 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauß}等人，Theor。计算。科学。577、98——124（2015年；Zbl 1309.68052） 全文： 内政部 哈尔