本·威格布雷特 机械程序分析。 (英语) Zbl 0306.68008号 Commun公司。ACM公司 18, 528-539 (1975). 页码:24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于37文件 MSC公司: 68号01 软件理论的一般主题 PDF格式BibTeX公司 XML格式引用 \textit{B.Wegbreit},Commun(社区)。ACM 18,528--539(1975;Zbl 0306.68008) 全文: 内政部