玛丽·肖（编辑） 阿尔法：形式和内容。 （英语） Zbl 0477.68012号 纽约-海德堡-柏林：施普林格-弗拉格。八、 321 p.42.00马克；$19.60 (1981). 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于4文件 理学硕士： 68-06 与计算机科学有关的论文集、会议、文集等 68号01 软件理论的一般主题 60年第68季度 规范和验证（程序逻辑、模型检查等） 68-03 计算机科学史 01A75号 收集或选择的作品；经典著作的再版或翻译 关键词：程序设计语言设计;程序设计方法;抽象数据类型;程序验证 PDF格式BibTeX公司 XML格式