草本鬼子
第537-538页
讨论了MESA的第一个用户的经验 - 主要是其实施者 - 讨论了它的实施者，并提出了对MESA和类似的编程语言的一些影响。解决的具体主题是：模块结构及其在...中使用
Charles M. Geschke，James H. Morris，Edwin H. Satterthwaite
第540-553页
Alphard“Form”为程序员提供了大量控制抽象数据类型的实现。在本文中，抽象技术从简单的数据表示和功能定义扩展...
Mary Shaw，William A. Wulf，Ralph L. London
第553-564页
CLU是一种新的编程语言，旨在支持在程序建设中使用抽象。在编程方法中的工作导致了实现三种抽象 - 程序，控制，特别是......
Barbara Liskov，Alan Snyder，Russell Atkinson，Craig Schafacer
第564-576页
编程分为三个主要类别，随着程序验证的推理复杂性：顺序编程，多程序和实时编程。通过遵守严格的编程学科......
Niklaus Wirth.
第577-583页
编写程序的语言可以对所得程序的可靠性产生大量影响。本文讨论了一个实验，可以使用静态地比较受试者的编程可靠性......
J. D. Gannon.
第584-595页
最近已经介绍了用于实现适合通用离散事件仿真系统的事件调度程序的算法。几个表现出优于常用简单的性能......
W. R. Franta，Kurt Maly
第596-602页
在[1]中，从结构化编程的观点来看，HardGrave讨论了与子程序的“位置”与子程序相关联的关键词参数通信。在本说明中，提出了一个有利于关键字方法的额外参数。
Eugene L. Lawler.
第603-605页
Robert L. Ashenhurst.
第609-612页
