卢卡·埃特罗;Cimini，马泰奥;安娜·英格尔夫斯多蒂;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯（Michel A.Reniers）。 分配性的规则格式。 （英语） Zbl 1279.68180号 西奥。计算。科学。 458, 1-28 (2012).MSC公司：68问题55 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人，Theor。计算。科学。458，1--28（2012；Zbl 1279.68180） 全文： 内政部
卢卡·埃特罗;阿纳尔·比吉森;安娜·英格尔夫斯多蒂;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯（Michel A.Reniers）。 决定论和幂等性的规则格式。 （英语） Zbl 1243.68205号 科学。计算。程序。 77，编号7-8，889-907（2012）.MSC公司：68问题55 68号30 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人，科学。计算。程序。77，编号7--8889--907（2012；Zbl 1243.68205） 全文： 内政部 链接
卢卡·埃特罗;Cimini，马泰奥;安娜·英格尔夫斯多蒂;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯（Michel A.Reniers）。 零元素和单位元素的SOS规则格式。 （英语） Zbl 1216.68152号 西奥。计算。科学。 412，第28号，3045-3071（2011）.MSC公司：68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人，Theor。计算。科学。412，第28号，3045--3071（2011；Zbl 1216.68152） 全文： 内政部
卢卡·埃特罗;Cimini，马泰奥;安娜·英格尔夫斯多蒂;穆罕默德·礼萨穆萨维;米歇尔·雷尼尔斯（Michel A.Reniers）。 零元素和单位元素的规则格式。 （英语） Zbl 1342.68189号 Mislove，Michael（ed.）等人，《第26届编程语义数学基础会议论文集》（MFPS 2010），加拿大渥太华，2010年5月6日至10日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记265145-160（2010）。MSC公司：68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人，《电子》。理论注释。计算。科学。265145-160（2010年；Zbl 1342.68189） 全文： 内政部
穆罕默德·穆萨维;米歇尔·雷尼尔斯（Michel A.Reniers）。;Jan Friso，格鲁特 SOS格式和元理论：20年后。 （英语） 兹比尔1111.68069 西奥。计算。科学。 373，第3号，238-272（2007）.MSC公司：68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Mousavi}等人，Theor。计算。科学。373，第3号，238--272（2007；Zbl 1111.68069） 全文： 内政部
巴顿，J.C.M。;Reniers，医学硕士。 过程代数中常数的重复。 （英语） Zbl 1106.68069号 J.日志。阿尔盖布。程序。 70，第2期，151-171（2007）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛J.C.M.Baeten｝和\textit｛M.A.Reniers｝，J.Log。阿尔盖布。程序。70，第2号，151--171（2007；Zbl 1106.68069） 全文： 内政部 链接
范·比克，D.A。;曼，K.L。;Reniers，医学硕士。;罗达，J.E。;R.R.H.希弗勒。 混合Chi的语法和一致方程语义。 （英语） 兹比尔1088.68111 J.日志。阿尔盖布。程序。 68，编号1-2，129-210（2006）.MSC公司：60年第68季度 68问题55 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.A.van Beek}等人，J.Log。阿尔盖布。程序。68，编号1--2，129-210（2006；Zbl 1088.68111） 全文： 内政部