弗洛里安·拉贝;迈克尔·科尔哈斯 一个可扩展的模块系统。 （英语） Zbl 1358.68283号 Inf.计算。 230, 1-54 (2013).MSC公司：68立方英尺 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{F.Rabe}和\textit{M.Kohlhase}，Inf.Compute。230、1-54（2013年；Zbl 1358.68283） 全文： 内政部
米尼亚·伊恩库;弗洛里安·拉贝 声明性语言中的变更管理。 （英语） Zbl 1360.68809号 Johan Jeuring等人，《智能计算机数学》。2012年7月8日至13日，在德国不来梅举行了第11届国际会议、2012年AISC、第19届研讨会、2012年Calculemus、2012年DML第5届国际研讨会、2012年度MKM第11次国际会议、系统和项目。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-31373-8/pbk）。计算机科学课堂讲稿7362。人工智能课堂讲稿，326-341（2012）。MSC公司：68立方英尺 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{M.Iancu}和\textit{F.Rabe}，莱克特。注释计算。科学。7362326--341（2012年；Zbl 1360.68809） 全文： 内政部