David Lorge,帕纳斯 广义控制结构及其形式化定义。 (英语) 兹比尔0517.68024 Commun公司。ACM公司 26, 572-581 (1983). 页码:24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于2评论引用于11文件 MSC公司: 68号01 软件理论的一般主题 68N25号 操作系统理论 PDF格式BibTeX公司 XML格式引用 \textit{D.L.Parnas},社区。ACM 26,572--581(1983;Zbl 0517.68024) 全文: 内政部