罗纳德·V·布克。;弗里德里希·奥托 字符串重写系统。 (英语) Zbl 0832.68061号 计算机科学的文本和专著。纽约州纽约市:Springer-Verlag。viii,189 p.(1993)。 审核人:A.Widiger(罗斯托克) MSC公司:2012年第68季度 68-01 PDF格式BibTeX公司 XML格式引用 \textit{R.V.Book}和\textit{F.Otto},字符串重写系统。纽约州纽约市:Springer-Verlag(1993;Zbl 0832.68061)
罗纳德·V·布克。;弗里德里希·奥托 取消规则和扩展词问题。 (英语) Zbl 0561.68030号 信息处理。莱特。 20, 5-11 (1985).MSC公司:第68季度第65季度 03年3月 94A99型 03D40号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.V.Book}和\textit{F.Otto},Inf.过程。莱特。20、5--11(1985年;Zbl 0561.68030) 全文: 内政部