摘要
1 ABRIAL，J.-R.，SCHUMAN，S.A.和MEYER，B.规范语言。 R.M.McKeng和A.M.MacNaughten主编，《关于课程建设：高级课程》。 剑桥大学出版社，剑桥，马萨诸塞州，1980年，第343-410页。 谷歌学者 
2 ARBIB，M.和MANES，E.箭头，结构和函数。 学术出版社，佛罗里达州奥兰多，1975年。 谷歌学者 三 AUBIN，R.机械化结构缩减。 1976年，苏格兰爱丁堡大学博士论文。 谷歌学者 数字图书馆 
4 AVRON，A.、HONSELL，f.和MASON，I.使用类型化lambda演算在计算机上实现形式化系统。 技术代表ECS-LFCS-87-31，苏格兰爱丁堡爱丁堡大学计算机科学实验室，1987年。 谷歌学者 5 BARWISE，J.抽象模型理论公理。 安。数学。 Loglc 7（1974），221-265。 谷歌学者 交叉引用 
6 BARWISE，J.和FEFERMAN，S.模型理论逻辑。 斯普林格·弗拉格，纽约，1985年。 谷歌学者 7 BEIERLE，C.和VOSS，A.实现规范。 在Hans-J6rg Kreowski编辑的《数据类型规范的最新趋势》中，卷Informatik-Fachberichte 116。 Sprlnger-Verlag，纽约，1985年，第39-52页。 （摘自第三届抽象数据类型理论与应用研讨会的论文。） 谷歌学者 数字图书馆 8 BENABOU，J.Structures alg4 briques clans les catgories公司。 Cahiers de Topologze et Gdometrie Diffdrentiel 10（1968），1-126。 谷歌学者 9 格点理论，美国数学学会，1948年。 学术讨论会出版物，第二十五卷（1980年修订版）。 谷歌学者 10 BIRKHOFF，G.和LIPSON，J.异质代数。 J.Combin，《理论8》（1970年），第115-133页。 谷歌学者 交叉引用 11 BLOOM，S.有序代数的种类。 J.计算。 系统。 科学。 13 (1976), 200-212. 谷歌学者 数字图书馆 12 BOYER，R.和MOORE，J.《计算地带逻辑》。 学术出版社，佛罗里达州奥兰多，1980年。 谷歌学者 13 BURSTALL，R.用结构诱导子证明程序的属性。 计算。 J.12，1（1969），41-48。 谷歌学者 交叉引用 14 BURSTALL，R.归纳定义函数。 在H Ehrig、C.Floyd、M.Nlvat和J.Thatcher编辑的《软件开发的数学基础》第1卷中。 《计算机科学讲义》，第185卷。 Springer-Verlag，纽约，1985年，第92-96页。 谷歌学者 数字图书馆 15 BURSTALL R.和GOOUEN，J.《将理论结合起来制定规范》，Raj Reddy主编，《第五届国际人工智能联合会议论文集》。 卡内基梅隆大学计算机科学系，俄亥俄州Cmclnnan，1977年，第1045-1058页。 谷歌学者 16 BURSTALL，R.和GOGUEN，J.《清晰的语义》。 1978年代数与应用研讨会上发布的未出版笔记。 斯特凡·巴纳赫中心，波兰华沙，1978年。 谷歌学者 17 BURSTALL，R.和GOGUEN，J.规范语言Clear的语义。 在Dines Bjorner编辑的《1979年哥本哈根冬季学校抽象软件规范会议录》中。 计算机科学讲义，第86卷。 Springer-Verlag，纽约，1980年，第292-332页（基于波兰华沙Stefan Banach中心代数与应用研讨会上分发的未发表笔记）。 谷歌学者 数字图书馆 18 BURSTALL，R.和GOGUEN，J.使用Clear对规范进行非正式介绍。 Robert Boyer和J.Moore主编，《计算机科学中的正确性问题》。 学术出版社，佛罗里达州奥兰多，1981年，第185-213页，重印于《软件规范技术》。 Naram Gehani和Andrew McGettrick编辑，Addison-Wesley，Reading，马萨诸塞州，1985年，第363-390页。 谷歌学者 19 BURSTALL，R.和OOGUEN，J.代数、理论和自由——计算机科学家入门。 在Martin Wlrsmg和Gunther Schmidt编辑的《编程方法论的理论基础》中。 雷德尔，1982年，第329-350页。 另见1981年Marktoberdoff NA TO暑期学校会议记录。 北约高级研究所丛书，第C91卷。 谷歌学者 20 CLARK，K.否定失败。 在H.Gallmre和J.Mmker编辑的《逻辑和数据库》中。 全会出版社，纽约，1978年，第293-322页。 谷歌学者 21 COliN，P.M.《通用代数》。 Harper and Row，纽约，1965年。 1980年修订版。 谷歌学者 22 EupJCH，H-D.关于抽象数据类型的规范、实现和参数化理论J.ACM 29（1982），206-227。 谷歌学者 数字图书馆 23 EHRIG，H.介绍图文法的代数理论。 在V.Claus、Hartmut Ehng和Gregor Rozenberg主编的《图形Gramars及其在计算机科学和生物学中的应用》中。 计算机科学课堂讲稿，voI。 73.Springer-Verlag，纽约，1979年，第1-69页。 谷歌学者 数字图书馆 24 Eueac，H.代数规范约束的分类概念。 在H.Ehrlg、H.Herrlieh、H.-J.Kerowski和G.Preuss编辑的《计算机科学中的分类方法》中。 计算机科学讲义，第393卷。 Springer-Verlag，纽约，1989年，第1-15页。 谷歌学者 数字图书馆 25 EHRI6，H.，FEY，W.，AND HANSEN，H.ACT ONE：一种具有两层语义的代数规范语言。 技术代表83-03。 柏林科技大学，Fachbereich Informatik，Berhn，德国。 谷歌学者 26 Ei-lgm，H.，AND MAHR，B.代数规范基础1：方程和初始语义。 EATCS理论计算机科学专著，第6卷。 施普林格-弗拉格，纽约，1985年。 谷歌学者 数字图书馆 27 EHRIG，H.和MAHR，B.代数规范基础2：模块规范和约束。 EATCS理论计算机科学专著，第21卷。 Springer Verlag，纽约，1990年。 谷歌学者 数字图书馆 28 EHRIG，H.、WAGNER，E.和THATCHER，J.生成约束的代数规范。 在J.Diaz主编的《关于自动化、语言和编程的其他学术讨论会论文集》中。 计算机科学课堂讲稿。 第154卷。 Springer-Verlag，纽约，1983年，第188-202页。 谷歌学者 数字图书馆 29 FEY，W.ACT TWO的语用学、概念、语法、语义和正确性概念：代数模块规范和互连语言。 技术代表88-26。 柏林科技大学，Fachbereich Informatik，德国柏林，1988年。 谷歌学者 30 FIADEIRO，J.和SERNADAS，A.构建后果理论。 在Donald Sannella和Andrzej Tarlecki编辑的《数据类型规范的最新趋势》中。 计算机科学讲义，第332卷。 Springer-Verlag，纽约，1988年，第44-72页。 谷歌学者 数字图书馆 31 FIADEIRO，J.、SERNADAS，A.和SERNADAS，C.知识库是结构化理论。 在K.V.Nori编辑的《软件技术和理论计算机科学基础》中。 计算机科学讲义，第287卷。 Springer-Verlag，纽约，1987年，第469-486页。 谷歌学者 数字图书馆 32 FUTATSUGI，K.、GOGUEN，J.、JOUANNAUD，J-P.和MESEGUER，J.《OBJ2原则》。 在Brian Reid编辑的《第12届CM编程语言原理研讨会论文集》中。 ACM，纽约，1985年，第52-66页。 谷歌学者 数字图书馆 33 FUTAa'SUCl，K.、GOGUEN，J.、MESE~UER，J.和OKADA，K.OBJ2中的参数化编程。 Robert Balzer主编，《第九届国际软件工程会议论文集》，IEEE计算机社会出版社，纽约，1987年3月，第51-60页。 谷歌学者 数字图书馆 34 GABRIEL，P.和ULMER，F.Lokal Priisensierbare Kategorien。 数学课堂讲稿，第221卷。 施普林格·弗拉格，纽约，1971年。 谷歌学者 35 GoousN，J.分层组织系统的数学表示。 在E.Attmger编辑的《全球系统动力学》中。 卡格尔，巴塞尔，1971年，第112-128页。 谷歌学者 36 GO~UF，N，j.一般系统理论的范畴基础。 在F.Pichler和R.Trappl编辑的《控制论和系统研究进展》中。 抄本图书，英国伦敦，1973年，第121-130页。 谷歌学者 37 GO~UEN，J.计算语义学。 《计算机科学讲义》，第25卷。 Springer-Verlag，纽约，1975年，第151-163页。 谷歌学者 数字图书馆 38 GOUEN，J.参数化编程。 事务处理。 柔和。 Eng.SE-IO，5（1984年9月），528-543。 谷歌学者 39 GOOUEN，J.重用和互连软件组件。 计算机19，2（1986年2月），i6-28。 重印于教程：软件可重用性。 Peter Freeman编辑，IEEE计算机学会出版社，纽约，1987年，第251-263页，《领域分析与软件系统》，R.Prieto Diaz和G.Arango编辑，IEEE计算机学会，纽约，1991年，第125-137页。 谷歌学者 数字图书馆 40 GOC~UEN，J.一份明确的宣言。 数学。 结构。 计算。 科学。 1991年3月1日，第49-67页。 此外，技术代表PRG-72。 英国剑桥牛津大学程序设计研究小组，1989年3月。 谷歌学者 41 GOC； UEN，J.OBJ作为定理证明器，应用于硬件验证。 在V.P.Subramanyan和Graham Birtwhille编辑的《硬件验证和自动定理证明的当前趋势》中。 Springer-Verlag，纽约，1989年，第218-267页。 谷歌学者 数字图书馆 42 GOGUEN，J.定理证明与代数。 普伦蒂斯·霍尔，新泽西州恩格尔伍德克利夫斯，1992年，即将出版。 谷歌学者 43 GOOUEN，J.和BURSTAt，L，R.代数理论的一些基本性质：计算语义的工具。 技术代表，艺术部。 国际，爱丁堡大学，苏格兰爱丁堡，1978年。 （DAI研究报告第5号；扩展版见Theoret.Compute.Sci.31（1984），175-209）。 谷歌学者 44 GOOUEN，J.和BURSTALL，R.介绍机构。 在E.Clarke和D.Kozen编辑的《编程逻辑研讨会论文集》中。 《计算机科学讲义》，第164卷。 Springer-Veflag，纽约，1984年，第221-256页。 谷歌学者 数字图书馆 45 GOGUEN，J.和BURSTALL，R.计算语义的一些基本代数工具。 第1部分：逗号类别、结肠炎、签名和理论。 理论。 计算。 科学。 31, 2 (1984), 175-209. 谷歌学者 46 GOQUEN，J.和BURSTALL，R.计算语义的一些基本代数工具。 第二部分：符号与抽象理论。 理论。 计算。 选择。 31, 3 (1984), 263-295. 谷歌学者 47 GOGUEN，J.和BURSTALL，R.编程方法学基础研究——规范、机构、章程和羊皮纸。 在D.Pitt、S.Abramsky、A.Poagne和D.Rydehard编辑的《范畴理论和计算机编程会议论文集》中。 计算机科学课堂讲稿，第240卷。 Springer-Verlag，纽约，1986年，第313-333页。 谷歌学者 数字图书馆 48 GOGUEN，J.、KmCHNER，C.、KIRCIqNER，H.、MC、GRELIS，A.和MESEGUER，J《OBJ3简介》。 在Jean-Pierre Jouannaud和Stephane Kaplan编辑的《条件词改写会议记录》中。 计算机科学讲义，第308卷。 Springer-Verlag，纽约，1988年，第258-263页。 谷歌学者 数字图书馆 49 Go~uv，N，J.，AND MESE~UER，J.抽象模块的通用实现、持久互连和实现。 在M.Nielsen和E.M.Schmidt编辑的《第九届国际自动化、语言和编程会议论文集》中。 计算机科学课堂讲稿，第140卷。 Springer-Verlag，纽约，1982年，第265-281页。 谷歌学者 数字图书馆 50 GOGUEN，J.和MESECUER，J.《多分类等式逻辑的完整性》。 休斯顿数学杂志。 11, 3 (1985), 307-334. 谷歌学者 51 GOGUEN，J.和MESEGUER，J Eqlog； 逻辑编程的等式、类型和通用模块。 在Douglas DeGroot和Gary Lindstrom编辑的《逻辑编程：函数、关系和方程》中。 普伦蒂斯·霍尔（Prentice-Hall），新泽西州恩格尔伍德克利夫斯（Englewood Cliffs），1986年，第295-363页 谷歌学者 52 GOGUEN，J.和MESEGUER，J.用逻辑语义统一功能、面向对象和关系编程。 在Bruce Shriver和Peter Wegner编辑的《面向对象编程研究方向》中。 麻省理工学院出版社，剑桥，马萨诸塞州，1987年，第417-477页。 谷歌学者 数字图书馆 53 GOGUEN，J.和MESECUER，J.有序代数I多重继承、重载、异常和部分运算的等式推导。 技术代表SRI-CSL-89-10，SRI国际，计算机科学实验室，1989年7月。 1983年6月在卡内基梅隆大学类型研讨会上作演讲； 存在许多草稿版本。 谷歌学者 54 GOGUEN，J.、THATCHER，J.和WAGNER，E.抽象数据类型规范、正确性和实现的初始代数方法，见Raymond Yeh，ed.，《编程方法学的当前趋势》，IV，Prentice-Hall，Englewood Cliffs，N.J.，1978年，第80-149页。 谷歌学者 55 GOGUEN，J.，THATCHER，J.、WAGNER E.和WRIGHT，J初始代数语义和连续代数。 J.ACM 24，1（1977年1月），第68-95页。 谷歌学者 数字图书馆 56 GOGUEN，J.、WINKLER，Y.、MESEGUER，J.，FUTATSUGI，K.和JOUANNAUD，J-P.介绍OBJ3。 在Joseph Goguen、Derek Coleman和Robin Gallimore编辑的《使用OBJ的代数规范的应用程序》中，剑桥大学出版社，马萨诸塞州剑桥，将出现。 谷歌学者 57 GOt，DBLaTa'，R.Topoi，《逻辑的范畴分析》。 北荷兰人，纽约，1979年。 谷歌学者 58 HARPWR，R.，HONSF，II，F.，ANI~PI~O'rKrN，G.定义逻辑的框架。 第二届计算机科学逻辑研讨会论文集。 IEEE计算机学会出版社，纽约，1987年，第194-204页。 谷歌学者 59 哈珀，R.，麦奎恩，D.，和米尔纳，R.标准ML.技术代表ECS-LFCS-86-2。 部门计算。 序号。， 苏格兰爱丁堡爱丁堡大学，1986年 谷歌学者 60 HARPER，R.、SANNELLA，D.和TARLECKI，A.LF中的结构和表示。 技术代表ECS-LFCS-89-75。 实验室计算。 软件工程研究所。， 爱丁堡大学，爱丁堡，苏格兰，1987年。 谷歌学者 61 HAYES，I.规范案例研究。 Prentice-HaU，Englewood Cliffs，新泽西州，1987年。 谷歌学者 数字图书馆 62 HERRI~CI4，H.和STRECKER，G.范畴理论。 Allyn和Bacon，1973年。 谷歌学者 63 HIGGINS，P.J.代数与算子方案。 数学。 全国生理残障咨询委员会。 27 (1963), 115-132. 谷歌学者 交叉引用 64 HOARE，C.A.R.数据表示正确性的证明。 《学报》第1期（1972年），第271-281页。 谷歌学者 数字图书馆 65 KAPHENGST，H.和REICHEL，H.Algebrmsche算法理论。 技术代表WIB 1。 VEB Robotron，Zentrum fur Forschung und Technik，德国德累斯顿，1971年（德语）。 谷歌学者 66 LAMBE~：，J.，AND SCOTT，P.《高阶范畴逻辑导论》。 剑桥高等数学研究，第7卷，剑桥大学出版社，剑桥，马萨诸塞州，1986年。 谷歌学者 数字图书馆 67 LANE，S.M.工作数学家分类。 施普林格·弗拉格，纽约，1971年。 谷歌学者 交叉引用 68 LANE，S.M.和BIRKHOFF，G.代数。 麦克米伦，纽约，1967年。 谷歌学者 69 LAWVERE，F.W.代数理论的函数语义。 程序。 美国国家科学院。 科学。， 《美国法典》第50卷（1963年），第869-872页。 谷歌学者 70 关于集合范畴的一个基本理论。 程序。 美国国家科学院。 科学。， 《美国法典》第52卷（1964年），第506-1511页。 谷歌学者 71 LLOYD，J.逻辑编程基础。 斯普林格·弗拉格，纽约，1984年。 谷歌学者 数字图书馆 72 LOWRY，M.将问题重新制定制度化。 保罗·本杰明（Paul BenJamin）、因杜尔·曼德扬（Indur Mandhyan）和欧内斯特·马内斯（Ernest Manes）主编，《人工智能和机器人学范畴理论研讨会论文集》。 飞利浦实验室，纽约州塔里敦，1989年，第159-194页。 谷歌学者 73 MAcQ~JEEN，D，和SANNELLA，D。方程规范的证明系统的完整性。 IEEE传输。 柔和。 工程SE-11，5（1985年5月），454-46I。 谷歌学者 74 MAHR，B.和MAKOWSKY，J.规范语言语义的公理方法。 第六届GI理论计算机科学会议论文集，计算机科学讲义，第145卷。 斯普林格·弗拉格，纽约，1983年。 谷歌学者 数字图书馆 75 MAHR，B.和MAKOWSKY，J.描述承认初始语义的规范语言。 理论。 计算。 科学。 31 (1984), 49-60. 谷歌学者 交叉引用 76 MAYOI-I，B.画廊和机构。 技术代表DAIMI PB-191。 奥胡斯大学，丹麦奥胡斯，1985年。 谷歌学者 77 麦卡锡，J.《界限——非单调推理的一种形式》。 Artif公司。 国际标准13，1，2（1980），27-39。 谷歌学者 78 MESE6UER，J.《一般逻辑》。 在H.-D.Ebbinghaus等人编辑的《逻辑学术讨论会论文集》，1987年。 纽约州北荷兰德，1989年。 谷歌学者 79 MESEC~UER，J.和GOCUEN，J.初始性、归纳和可计算性。 在莫里斯·尼瓦特（Maurice Nivat）和奥恩·雷诺兹（ohn Reynolds）主编的《语义学中的代数方法》（Algebraic Methods In Semantics）中。 剑桥大学出版社，剑桥，马萨诸塞州，1985年，第459-541页。 谷歌学者 数字图书馆 80 MossEs，P.统一代数和机构。 技术代表DAIMI PB-274。 丹麦奥胡斯奥胡斯大学计算机科学系，1989年， 谷歌学者 81 OREJAS，F.，SACRIST/{N，V.，AND CLERICI，S.《带约束的代数规格说明的发展》，《计算机科学中的分类方法》，计算机科学讲义，第393卷。 Springer-Verlag，纽约，1989年，第102-123页。 谷歌学者 数字图书馆 82 PARSAYE-GHOMI，K.高阶数据类型。 博士论文。 加利福尼亚大学洛杉矶分校计算机科学系，加利福尼亚州洛杉矶市，1982年1月。 谷歌学者 83 PoIcN~，A.基金会是富有的机构，但机构是贫穷的基金会。 在H.Ehrig、Herrlich、H.-J.Kerowski和G.Pleuss编辑的《计算机科学中的分类方法》中。 《计算机科学讲义》，第393卷。 Springer-Verlag，纽约，1989年，第82-101页。 谷歌学者 数字图书馆 84 RHCnEL，H.最初限制代数理论。 Piotr Dembinski主编，《计算机科学的数学基础》，计算机科学讲义，第88卷。 施普林格-弗拉格出版社，纽约，1980年，第504-514页。 谷歌学者 数字图书馆 85 REICnF~I~，H.初始可计算性，代数规范和部分代数。 克拉伦登出版社，英国牛津，1987年。 谷歌学者 数字图书馆 86 REITER，R，《封闭世界数据库》。 在H.Gallaire和J.Minker编辑的《逻辑和数据库》中。 Plenum出版社，纽约，1988年，第55-76页。 谷歌学者 87 SANNEt，LA，D.和TARLECW，A.Extended ML：正式项目开发的独立于机构的框架。 在D.Pitt、S.Abramsky、A.Poign~和D.Rydeheard主编的《类别理论和计算机编程夏季研讨会论文集》中。 计算机科学讲义，第240卷。 Springer-Verlag，纽约，1986年，第364-389页。 谷歌学者 数字图书馆 88 SANNELLA，D.和TARLECKI，A.关于观测等价和代数规范。 J.C公司。 系统。 科学。 34（1987），第150-178页。 谷歌学者 数字图书馆 89 SANNELLA，D.和TARLECKI，A.在任意机构中构建规范。 InJi Control 76（1988），165-210。 谷歌学者 数字图书馆 90 桑德拉·D·威尔斯公司。 M.参数化规范的实施。 在M.Nielsen和E.M.Schmidt编辑的《第九届自动机、语言和编程学术讨论会论文集》中。 计算机科学课堂讲稿，第140卷。 Springer-Verlag，纽约，1982年，第473-488页。 谷歌学者 数字图书馆 91 SCOTT，D.多值逻辑中的完备性和公理化。 Leon Henkin等人编辑，《塔斯基研讨会论文集》。 美国数学学会，普罗维登斯，R.I.，1974年，第411-435页。 谷歌学者 92 9COTT，D.《lambda演算的相关理论》，收录于J.P.Seldin和J.R.Hlndley，eds.To H.B.Curry：关于组合逻辑、lambda微积分和形式主义的论文。 学术出版社，佛罗里达州奥兰多，i980，第404-450页。 谷歌学者 93 SERNADAS，A.和SERNADAS，C.基于知识的DSS开发的概念建模。 在C.Holsapple和A.Whinston编辑的《决策支持系统：理论与应用》中。 Springer-Verlag，纽约，1987年，第91-135页。 谷歌学者 数字图书馆 94 SHEPARDSON，J.C.C.否定失败。 J.Loglc程序。 1, 1 (1984), 51-79. 谷歌学者 数字图书馆 95 SHOSTAK，R，SCIJWARTZ，R，和MELLIAR-SMITH，P.M.STP。 用于规范和验证的机械化逻辑。 技术代表，计算机科学实验室，SRI International，Menlo Park，Calif.，1981年。 谷歌学者 96 SPIVEY，J.M.Z符号：参考手册。 普伦蒂斯·霍尔，新泽西州恩格尔伍德克利夫斯，1989年。 谷歌学者 数字图书馆 97 TARLECKI，A.零零碎碎的制度理论。 在D.Part、S.Abramsky、A Polgn~和D.Rydeheard主编的《类别理论和计算机编程夏季研讨会论文集》中。 计算机科学课堂讲稿，voI。 240 Sprmger-Verlag，纽约，1986年，第334-360页。 谷歌学者 数字图书馆 98 TARLECKI，A关于抽象代数机构中自由模型的存在性。 理论。 计算。 科学。 3 7, (1986), 269 - 304 谷歌学者 99 TARLECKI，A.抽象代数机构的拟变量。 J.计算。 服务。 科学。 33, 3 (1986), 333- 360. 谷歌学者 数字图书馆 100 TARLECKI，A.、BURSTALL，R.和GOGUEN，J.计算语义的一些基本代数工具第3部分：索引类别。 技术代表PRG-77编程研究小组，牛津大学，英国牛津，1989年8月； 康武特·理特（Conwut Theoret）。 Sc~、。， 出现。 谷歌学者 101 TARSK~，A.deduktlven wissenschaften方法学基础 谷歌学者 102 TARSKI，A.真理的语义概念。 菲洛斯。 现象。 第4号决议（1944年），13-47。 谷歌学者 交叉引用 103 THATCHER，J.、WACNER，E.和WRIGHT，J.数据类型规范：Paramerlzatlon和规范技术的力量。 ACM事务处理。 掠夺。 语言系统。 4 (1982), 711-732. 谷歌学者 数字图书馆 104 TRACZ，W J.参数化程序m LmrEANNA的形式规范。 斯坦福大学博士论文。， 1992 谷歌学者 数字图书馆 105 结构化代数规范：一种内核语言。 理论。 计算。 科学。 42（1986），I23-249。 谷歌学者 数字图书馆 106 WIRSINC，M.、PEPPER，P.、PARTSCH，W.、DOSCH，N.和BROY，M关于抽象数据类型的层次结构。 《学报》第20期（1983年），第1-33页。 谷歌学者 107 WRIGHT，J，THATCHER，J.，WAGNER，E.和GOGUEN，J.Rauonal代数理论和不动点解。 M.J.Fischer主编，第17届计算机基础研讨会论文集。 IEEE出版社，纽约，1976年，第147-158页。 谷歌学者
建议
逻辑编程语义的表达能力（扩展抽象） PODS’90：第九届ACM SIGACT-SIGMOD-SIGART数据库系统原理研讨会会议记录 我们比较了演绎数据库和逻辑编程三种语义的表达能力：三值程序完成语义、基础良好的语义和稳定语义。。。 通用并发约束编程：符号语义及其安全应用 SAC’08：2008 ACM应用计算研讨会会议记录 我们介绍 通用时间并发约束编程 （utcc）过程演算； 时间并发约束编程的推广。 utcc演算允许在Milnerπ-…的意义上规范移动行为。。。
