罗伯特·M·凯勒。 并行程序的形式验证。 （英语） Zbl 0329.68016号 Commun公司。ACM公司 19371-384（1976年）. 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于1审查引用于125文件 MSC公司： 68号01 软件理论的一般主题 65年第68季度 形式语言和自动机 第68页第15页 定理证明（演绎、解析等）（MSC2010） PDF格式BibTeX公司 XML格式引用 \textit{R.M.Keller}，Commun。ACM 19371-384（1976年；Zbl 0329.68016） 全文： 内政部