C.A.R.霍尔。;劳尔，体育。 编程语言语义的一致性和互补性形式理论。 （英语） Zbl 0264.68006号 学报信息。 3, 135-153 (1974). 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于1审查引用于23文件 MSC公司： 65年第68季度 形式语言和自动机 68号01 软件理论的一般主题 软件：低成本融资 PDF格式BibTeX公司 XML格式引用 \textit{C.A.R.Hoare}和\textit{P.E.Lauer}，《学报》第3期，第135-153页（1974年；Zbl 0264.68006）