摘要
1 standish，T.A.编程语言的数据定义工具Ph.D.Th.，卡内基梅隆大学，1967年。 谷歌学者 
2 Pratt，T.W.通过层次图进行语义建模。 德克萨斯州大学，1969年。 谷歌学者 三 霍尔特，A.W.n理论，描述和分析离散有限信息系统的数学方法。 应用数据研究公司，1965年。 谷歌学者 4 Reynolds，J.C.数据集定义的自动计算。 程序。 1968年IFIP大会，第1卷，北荷兰出版社。 Co.，阿姆斯特丹，第456-461页。 谷歌学者 5 Reynolds，J.C.OEDANKEN——一种简单的无类型语言，允许功能数据结构和协同程序。 通信ACM 13，5（1970年5月），308-319。 谷歌学者 数字图书馆 
6 Childs，D.C.集理论数据结构的可行性。 程序。 1968年IFIP大会，第1卷，北荷兰出版社。 Co.，阿姆斯特丹，第420-430页。 谷歌学者 7 走向形式语义学。 在形式语言描述语言中。 北荷兰公社。 Co.，阿姆斯特丹，1966年。 谷歌学者 8 McCarthy，J.等人，Lisp 1.5程序员手册。 麻省理工学院出版社，1968年。 谷歌学者 数字图书馆 9 McCarthy，J.符号表达式的递归函数及其机器计算，第一部分，ACM 3，4（1960年4月），184-195。 谷歌学者 数字图书馆 10 Knuth，D.E.基本算法。 艾迪森·卫斯理，马萨诸塞州雷丁，1968年。 谷歌学者 11 Floyd，R.W.为程序赋予意义。 程序。 交响乐团。 申请。 数学。， 第19卷，第19-31页。 谷歌学者 12 Knowlton，K.程序员对L.Comm.ACM 9，8（1966年8月），616-625的描述。 谷歌学者 数字图书馆 13 Wirth，N.PL360，一种360台计算机的编程语言。 J.ACM 15（1968年1月），第37-74页。 谷歌学者 数字图书馆 14 Deutsch，P.和Lampson，B.QSPL参考手册。 加州大学伯克利分校，1968年。 谷歌学者 15 BCPL：编译器编写和系统编程的工具。 程序。 AFIPS 1969 SJCC，第34卷，AFIPS出版社，新泽西州蒙特瓦尔，第557-566页。 谷歌学者 16 Balzer，R.无数据编程。 程序。 AFIPS 1967 FJCC，卷AFIPS出版社，新泽西州蒙特瓦尔，第535-544页。 谷歌学者 17 Holt，A.W.等人，信息系统理论项目的最终报告。 应用数据研究公司，1968年。 谷歌学者 18 Earley，J.VERS-一种具有实现工具的可扩展语言。 计算。 科学。 加州大学伯克利分校，1969年。 谷歌学者 19 卡洛斯·克里斯滕森。 AMBIT/G编程语言中有向图操作的示例。 应用数学互动系统。 Klerer和Reinfelds（编辑）学术出版社，纽约，1968年。 谷歌学者 20 Reynolds，J.C.对类型概念的集合理论方法。 阿贡国家实验室，1969年。 谷歌学者 21 Dennis，J.B.编程通用性、并行性和计算机体系结构。 MAC项目，UlT，1968年。 谷歌学者 22 Mealy，George H。再看一下数据。 程序。 AFIPS 1967 FJCC，第31卷，AVIPS出版社，新泽西州蒙特瓦尔，第525-534页。 谷歌学者 23 Ross，D.T.符号处理和数值计算的通用技术。 通信ACM 4、3（1961年3月），147-150。 谷歌学者 数字图书馆 24 Codd，E.F.大型共享数据库的数据关系模型。 通信ACM 13，6（1970年6月），377-387。 谷歌学者 数字图书馆 25 Earley，J.和Caizergues，P.VERS手册。 计算。 科学。 加州大学伯克利分校，1971年。 谷歌学者 26 Schwartz，J.集理论是一种用于程序规范和编程的语言。 纽约大学，1970年。 谷歌学者
