罗尔夫·亨尼克;亚历山大·纳普;马丁·威尔辛 通信安全组件系统的组装理论。 （英语） Zbl 1310.68057号 Bensalem，Saddek（编辑）等人，《从程序到系统》。计算中的系统观点。ETAPS研讨会，FPS 2014，纪念约瑟夫·西法克斯，法国格勒诺布尔，2014年4月6日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-54847-5/pbk）。计算机科学课堂讲稿8415，145-160（2014）。MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.Hennicker}等人，Lect。注释计算。科学。8415，145-160（2014；Zbl 1310.68057） 全文： 内政部
塞巴斯蒂安·鲍尔。;罗尔夫·亨尼克;马丁·威尔辛 为并发和数据构建模式接口理论。 （英语） 兹比尔1312.68149 Mossakowski，Till（编辑）等人，代数开发技术的最新趋势。2010年7月1日至4日，第20届WADT国际研讨会，德国埃特森。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-28411-3/pbk）。计算机科学讲义7137，1-12（2012）。MSC公司：68问题85 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{S.S.Bauer}等人，Lect。注释计算。科学。7137，1-12（2012；Zbl 1312.68149） 全文： 内政部
塞巴斯蒂安·鲍尔。;罗尔夫·亨尼克;马丁·威尔辛 并发和数据的接口理论。 （英语） Zbl 1216.68187号 西奥。计算。科学。 412，第28号，3101-3121（2011）.MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.S.Bauer}等人，Theor。计算。科学。412，第28号，3101--3121（2011；Zbl 1216.68187） 全文： 内政部