摘要
Bar78 Barth，Jeffrey，《实用跨过程数据流分析算法》，ACM通讯，第21卷，第9期，1978年，第724-736页。 谷歌学者 
数字图书馆 
Cou77a Cousot，Patrick&Radhia Cousot.抽象解释：通过构建或逼近不动点对程序进行静态分析的统一格模型，第四届ACM交响乐会Conf.Rec。 项目Princ。 Lang.，加利福尼亚州洛杉矶，1977年1月，第238-252页。 谷歌学者 数字图书馆 Cou77b Cousot、Patrick和Radhia Cousot，最佳不变断言的自动合成：数学基础，Proc。 ACM交响乐团。 关于Artif。 智力。 和程序。 Lang.，SIGPLAN通知，第12卷，第8期，1977年8月，第1-12页。 谷歌学者 数字图书馆 Cou79 Cousot、Patrick&Radhia Cousot，《程序分析框架的系统设计》，第六届ACM交响乐团会议记录。 项目Princ。 朗，1979年1月，第269-282页。 谷歌学者 数字图书馆 Engelfriet、Joost、树自动机和树语法。 DAIMI报告FN-10，丹麦奥胡斯奥胡斯大学计算机科学系，1975年4月。 谷歌学者 Hec77 Hecht，Matthew S.，《计算机程序流分析》，Elsevier North-Holland，纽约，1977年。 谷歌学者 数字图书馆 JoM81 Jones，Neil D.&Steven S.Muchnick，《类LISP结构的流动分析与优化》，载于Steven S.Muchnick&Neil D.Jones（编辑），《程序流动分析：理论与应用》，Prentice-Hall，Englewood Cliffs，新泽西州，1981年，第102-131页。 谷歌学者 Jon80 Jones，Neil D.，《Lambda表达式的流分析》，技术报告DAIMI IR-23，丹麦奥胡斯大学计算机科学系，1980年10月。 谷歌学者 Ken76 Kennedy，Ken，全球数据流分析两种算法的比较，SIAM J.Compute。， 第5卷，第1期，1976年，第158-180页。 谷歌学者 交叉引用 
Kil73 Kildall，G.A.，全球程序优化的统一方法，ACM Symp.Conf.Rec。 项目Princ。 Lang.，马萨诸塞州波士顿，1973年10月，第194-206页。 谷歌学者 数字图书馆 McC63 McCarthy，John，《迈向计算的数学科学，1962年信息处理》，荷兰阿姆斯特丹，1963年，第220-226页。 谷歌学者 Niel80 Nielson，Flemming，数据流分析的语义基础，技术报告DAIMI PB-131，奥胡斯大学计算机科学系，丹麦奥胡斯，1981年2月。 谷歌学者 交叉引用 Rei79 Reif，John H.，通信过程的数据流分析，第六届ACM Symp.会议记录。 项目Princ。 1979年1月，德克萨斯州圣安东尼奥市朗市，第257-268页。 谷歌学者 数字图书馆 Sin72 Sintzoff，Michel，《通过特定模型上的估值计算程序属性》，Proc。 1972年1月，新墨西哥州拉斯克鲁塞斯市ACM关于证明有关项目的断言的会议，第203-207页。 谷歌学者 数字图书馆 ShP81 Sharir、Micha和Amir Pnueli，《跨过程数据流分析的两种方法》，收录于Steven S.Muchnick和Neil D.Jones（编辑），《程序流分析：理论和应用》，Prentice-Hall，Englewood Cliffs，新泽西州，1981年，第189-234页。 谷歌学者 That73 Thatcher，James W.，《树自动机：非正式调查》，载于Alfred V.Aho（编辑），《计算理论的潮流》，Prentice-Hall，Englewood Cliffs，新泽西州，1973年，第143-172页。 谷歌学者
