曼弗雷德·施密特·沙乌;大卫·萨贝尔;约阿希姆·尼伦;施温哈默（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） 全文： 内政部 哈尔
大卫·萨贝尔 像素中的结构重写。 （英语） 兹比尔1428.68205 Schmidt-Schauß，Manfred（ed.）等人，《程序转换和评估重写技术第一次国际研讨会》，WPTE'14，奥地利维也纳，2014年7月13日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。OASIcs–OpenAccess服务器。通知。40, 51-62 (2014).MSC公司：68问题85 2012年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{D.Sabel}，OASIcs--OpenAccess服务器。通知。40、51-62（2014年；Zbl 1428.68205） 全文： 内政部