曼弗雷德·施密特·沙乌;大卫·萨贝尔;约阿希姆·尼伦;施温哈默（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） 全文： 内政部 哈尔
约阿希姆·尼伦;大卫·萨贝尔;曼弗雷德·施密特·沙乌;施温哈默（Jan Schwinghammer） 带有参考单元格和期货的并发lambda演算的观察语义。 （英语） Zbl 1316.68034号 Fiore，Marcelo（编辑），第23届编程语义数学基础会议论文集（MFPS XXIII），美国洛杉矶新奥尔良，2007年4月11-14日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记173，313-337（2007）。MSC公司：68甲15 68甲18 68甲19 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Niehren}等人，《电子》。注释Theor。计算。科学。173、313--337（2007；Zbl 1316.68034） 全文： 内政部