奥古斯托·塞勒坦诺；德尔拉·维格纳（Della Vigna）、皮埃尔路易吉（Pierluigi）；卡洛·盖齐；迪诺·曼德里奥利 简单：程序开发系统。 （英语） Zbl 0433.68015号 计算。语言。 5, 103-114 (1980). 页码：24/35−5 −4 −3 −2 −1 ±0 +1个 +2 +3 +4 +5 显示扫描页面 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 68N99型 软件理论 关键词：程序开发系统；软件；简单；Pascal程序；自顶向下编程；自下而上编程；块状结构；中间语言；交互式编程 PDF格式BibTeX公司 XML格式引用 \textit{A.Celentano}等人，《计算》。语言5，103--114（1980；Zbl 0433.68015） 全文： 内政部