雅克·J·阿萨克。 语法源到源转换和程序操作。 (英语) Zbl 0388.68006号 Commun公司。ACM公司 22, 43-54 (1979). 页码:24/35−5 −4 −3 −2 −1 ±0 +1个 +2 +3个 +4 +5 显示扫描页面 引用于1文件 MSC公司: 68号01 软件理论的一般主题 60年第68季度 规范和验证(程序逻辑、模型检查等) 第68页第25页 操作系统理论 PDF格式BibTeX公司 XML格式引用 \textit{J.J.Arsac},Commun(通讯员)。ACM 22、43-54(1979年;Zbl 0388.68006) 全文: 内政部