希拉·格雷巴赫。 程序结构理论：方案、语义、验证。 （英语） Zbl 0345.68002号 计算机科学课堂讲稿. 36. 柏林-海德堡-纽约：斯普林格-弗拉格。十八、 第364页，页码不连续。糖尿病32.00分$13.20 (1975). 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3个 +4 +5 显示扫描的页面 引用于三评论引用于47文件 MSC公司： 68-02 与计算机科学有关的研究展览会（专著、调查文章） 68号01 软件理论的一般主题 PDF格式BibTeX公司 XML格式