迈克尔·奥唐纳。 对霍尔风格编程逻辑基础的批判。 （英语） Zbl 0495.68018号 Commun公司。ACM公司 25, 927-935 (1982). 页码：24/35−5 −4 −3 −2 −1 ±0 +1个 +2 +3 +4 +5 显示扫描页面 引用于6文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 68号01 软件理论的一般主题 关键词：程序验证;可靠性;部分正确性;证据;定义的函数;转到;逻辑 PDF格式BibTeX公司 XML格式引用 \textit{M.J.O'Donnell}，Commun（科姆·J·奥唐纳）。ACM 25，927--935（1982；Zbl 0495.68018） 全文： 内政部 链接