摘要
{Donahue，1977}詹姆斯·多纳休，“关于数据类型的语义”，康奈尔大学计算机科学系，TR-77-3111977年6月。]] 谷歌学者 
数字图书馆 
{甘农，1977}J.D.甘农，“数据类型惯例的实验评估”，CACM 20:8，1977年8月，P.584。]] 谷歌学者 数字图书馆 {Gries和Gehani，1977}David Gries和Narain Gehari，“关于高级语言中数据类型的一些想法”，CACM 20:61977年6月，第414页。]] 谷歌学者 数字图书馆 {Guttag，1975}John W.Guttag.抽象数据类型编程的规范和应用，多伦多大学技术报告CSRG-59，1975年9月。]] 谷歌学者 {Guttag，1977}约翰·古塔格，“抽象数据类型和数据结构的发展”，CACM 20:6，1977年6月，第396页。]] 谷歌学者 数字图书馆 {霍尔，1972年}C.A.R.霍尔，“数据结构注释”，载于达尔、迪克斯特拉和霍尔，结构化编程，学术出版社，1972年。]] 谷歌学者 数字图书馆 {霍尔，1973}C.A.R.霍尔，“编程语言设计的启示”，SIGACT/SIGPLAN编程语言原理研讨会会议记录，1973年10月。]] 谷歌学者 {Jensen和Wirth，1975年}Kathleen Jensen and Niklaus Wirth著，PASCAL用户手册和报告，第二版，Springer-Verlag，1975年。]] 谷歌学者 数字图书馆 {Jones和Liskov，1977}Anita K.Jones和Barbara H.Liskov《表示数据访问限制的语言扩展》，C.M.U.技术报告，1977年4月。]] 谷歌学者 {科斯特，1976年}科内利斯·H·A·科斯特，“可见性和类型”，摘自{SIGPLAN，1976年，第179页。]] 谷歌学者 数字图书馆 ｛Lampson等人，1977年｝B.W.Lampson、J.J.Horning、R.L.London、J.G.Mitchell和G.L.Popek，《关于程序设计语言欧几里得的报告》，SIGPLAN Notices 12:21977年2月2日。]] 谷歌学者 数字图书馆 {Liskov等人，1977}Barbara Liskov、Alan Snyder、Russel Atkinson和Craig Schaffert，“CLU中的抽象机制”，CACM 20:81977年8月，第564页。]] 谷歌学者 数字图书馆 {Milne and Strachey，1976年}R.Milne and C.Strachey《程序设计语言语义理论》，霍尔斯特德出版社，1976年。]] 谷歌学者 数字图书馆 {Parnas，Shore，and Weiss，1976年}D.L.Parnas、John E.Shore和David Weiss《定义为变量类的抽象类型》，见{SIGPLAN，1976年，第149页。]] 谷歌学者 数字图书馆 {Scott，1976}D.Scott，“数据类型作为格”，SIAM J.Computing 5:31976年9月。]] 谷歌学者 ｛Scott，1977｝D.Scott，“逻辑与编程语言”，CACM 20:92077年9月。]] 谷歌学者 数字图书馆 {SIGPLAN，1976}《数据会议记录：抽象、定义和结构》，SIGPLAN公告，第二卷，1976年特刊。]] 谷歌学者 {坦能，1977}R.D.坦能，“基于语义原则的语言设计方法”，《信息学报》8:21977，第97-112页。]] 谷歌学者 交叉引用 
{Wulf等人，1976年}William Wulf、Ralph London和Mary Shaw，“阿尔法中的抽象和验证：语言和方法论导论”，USC\ISI研究报告76-461976年6月。]] 谷歌学者 {沃尔夫，1977年}威廉·沃尔夫，私人通信。]] 谷歌学者
