吕迪格·埃勒斯 符号有界合成。 （英语） Zbl 1247.68163号 形式方法系统。设计。 40，编号232-262（2012）.MSC公司：60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{R.Ehlers}，《形式方法系统》。设计。40，第2号，232--262（2012；Zbl 1247.68163） 全文： 内政部
吕迪格·埃勒斯 无偏：符号有界合成。 （英语） Zbl 1316.68073号 Abdulla，Parosh Aziz（编辑）等人，《系统构建和分析的工具和算法》。2011年3月26日至4月3日在德国萨尔布吕肯举行的第17届国际会议（TACAS 2011），是欧洲软件理论与实践联合会议（ETAPS 2011）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-19834-2/pbk）。计算机科学讲座笔记6605272-275（2011）。MSC公司：60年第68季度 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{R.Ehlers}，莱克特。注释计算。科学。6605272--275（2011；Zbl 1316.68073） 全文： 内政部