蒙克·范·维尔登堡；米歇尔·雷尼尔斯（Michel A.Reniers）。 具有一阶逻辑的结构操作语义。 （英语） Zbl 1339.68161号 Hennessy，Matthew（ed.）等人，《结构操作语义第五次研讨会论文集》（SOS 2008），冰岛雷克雅未克，2008年7月6日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记229，第4期，85-106（2009）。MSC公司：68问题55 03B10号机组 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.van Weerdenburg}和\textit{M.A.Reniers}，电子。注释Theor。计算。科学。229，第4号，85-106（2009；Zbl 1339.68161） 全文： 内政部
伊雷克·乌利多夫斯基；袁，Shoji 为OSOS过程语言生成优先级重写系统。 （英语） Zbl 1165.68037号 Inf.计算。 207，第2期，第120-145页（2009年）.MSC公司：2012年第68季度 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{I.Ulidowski}和\textit{S.Yuen}，Inf.Compute。207，第2号，120--145（2009；Zbl 1165.68037） 全文： 内政部
穆罕默德·礼萨，穆萨维；伊恩·菲利普斯；米歇尔·雷尼尔斯（Michel A.Reniers）。；伊雷克·乌利多夫斯基 有序SOS的语义和表达。 （英语） Zbl 1165.68045号 Inf.计算。 207，第2期，85-119（2009）.MSC公司：68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Mousavi}等人，《信息计算》。207，第2号，85--119（2009；Zbl 1165.68045） 全文： 内政部
伊莎贝·格尼迪格 优先级重写的终止。 （英语） Zbl 1234.68177号 Dediu，Adrian Horia（编辑）等人，《语言和自动机理论与应用》。2009年4月2-8日在西班牙塔拉戈纳举行的2009年拉丁美洲旅游协会第三届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00981-5/pbk）。计算机科学课堂讲稿5457386-397（2009）。MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Gneedig}，莱克特。注释计算。科学。5457386--397（2009年；Zbl 1234.68177） 全文： 内政部 链接
穆罕默德·雷扎·穆萨维；米歇尔·雷尼尔斯 具有通用量化的同余规则格式。 （英语） Zbl 1278.68144号 van Glabbeek，Rob（编辑）等人，《结构操作语义第四次研讨会论文集》（SOS 2007），波兰弗罗茨瓦夫，2007年7月9日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》192，第1期，109-124（2007）。MSC公司：68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.R.穆萨维}和\textit{M.雷尼尔}，电子。注释Theor。计算。科学。192，第1号，109--124（2007；Zbl 1278.68144） 全文： 内政部
Wan Fokkink公司 根分枝互模拟作为同余。 （英语） Zbl 0955.68074号 J.计算。系统。科学。 60，第1期，13-37（2000）.MSC公司：68问题55 PDF格式BibTeX公司 XML格式引用 \textit{W.Fokkink}，J.计算。系统。科学。60，编号1，13-37（2000；Zbl 0955.68074） 全文： 内政部
Masahiko酒井；富山，吉藤义彦 优先级项重写系统的语义和强序列性。 （英语） Zbl 0912.68101号 西奥。计算。科学。 208，编号1-2，87-110（1998）.MSC公司：2012年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Sakai}和\textit{Y.Toyama}，Theor。计算。科学。208，编号1--2，87-110（1998；Zbl 0912.68101） 全文： 内政部