周朝晨;C.A.R.霍尔。 同步开关电路模型及其正确性理论。 (英语) Zbl 0777.94026号 表格方法系统。设计。 1,第1期,7-28(1992).MSC公司:94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{C.Zhou}和\textit{C.A.R.Hoare},《形式与方法系统》。设计。1,第1号,第7--28号(1992;Zbl 0777.94026) 全文: 内政部
C.A.R.霍尔。 推导组合C-mos电路设计的理论。 (英语) Zbl 0732.68084号 西奥。计算。科学。 90,第1期,235-251(1991).MSC公司:99年第68季度 94立方厘米 03B05号 第68页第15页 PDF格式BibTeX公司 XML格式引用 \文本{C.A.R.Hoare},Theor。计算。科学。90,编号1,235--251(1991;Zbl 0732.68084) 全文: 内政部
C.A.R.霍尔。 通信过程的完全正确性计算。 (英语) Zbl 0485.68025号 科学。计算。程序。 1, 49-72 (1981).MSC公司:68N25号 94A99型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.A.R.Hoare},科学。计算。程序。1、49--72(1981年;Zbl 0485.68025) 全文: 内政部 链接