奥拉夫·伯卡特；迪迪埃·科卡尔；法隆·莫勒；Steffen，伯恩哈德 无限结构的验证。 （英语） Zbl 1035.68067号 Bergstra，Jan A.（编辑）等人，《过程代数手册》。阿姆斯特丹：北荷兰/爱思维尔（ISBN 0-444-82830-3）。545-623 (2001). 审核人：Matthias Jantzen（汉堡） MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Burkart}等人，in：过程代数手册。阿姆斯特丹：北荷兰/爱思唯尔。545-623（2001年；兹bl 1035.68067）
约拉姆·赫什菲尔德；马克·杰鲁姆；法隆·莫勒 确定赋范基本并行过程的互模拟等价性的多项式时间算法。 （英语） Zbl 0857.68042号 数学。结构。计算。科学。 6，第3期，251-259（1996）.MSC公司：第68季度10 PDF格式BibTeX公司 XML格式引用 \textit｛Y.Hirschfeld｝等人，《数学》。结构。计算。科学。6，第3号，251--259（1996；Zbl 0857.68042） 全文： 内政部
罗宾·米尔纳；法隆·莫勒 流程的独特分解。 （英语） Zbl 0744.68050号 牛市。EATCS公司 41, 226-232 (1990).MSC公司：第68季度10 PDF格式BibTeX公司 XML格式引用 \textit{R.Milner}和\textit{F.Moller}，公牛。EATCS 41、226--232（1990年；Zbl 0744.68050）