瓦尔加，L。 抽象算法的合成。 （英语） Zbl 0461.68014号 《网络学报》。 5, 59-76 (1980). 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2个 +3 +4 +5 显示扫描页面 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 68号01 软件理论的一般主题 68第05页 数据结构 关键词：抽象数据结构;程序的派生;程序验证;程序综合;程序设计方法;维也纳定义语言 PDF格式BibTeX公司 XML格式引用 \textit{L.Varga}，《网络学报》。5、59--76（1980年；Zbl 0461.68014）