唐纳德·桑内拉；安德烈·塔莱基 ASL的基础遗产。 （英语） Zbl 1454.68068号 De Nicola，Rocco（编辑）等人，《软件、服务和系统》。马丁·威辛（Martin Wirsing）于2015年从德国慕尼黑的编程和软件工程主席退休之际发表的论文。论文。查姆：斯普林格。莱克特。票据计算。科学。8950, 253-272 (2015).MSC公司：68问题65 68-03 PDF格式BibTeX公司 XML格式引用 \textit{D.Sannella}和\textit{A.Tarlecki}，莱克特。票据计算。科学。8950253--272（2015；Zbl 1454.68068） 全文： 内政部 链接
唐纳德·桑内拉；安德烈·塔莱基 结构化规范的面向属性语义。 （英语） Zbl 1342.68218号 数学。结构。计算。科学。 24，第2号，文章ID e240205，37页（2014）.MSC公司：68问题65 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{D.Sannella}和\textit{A.Tarlecki}，数学。结构。计算。科学。24，第2号，文章ID e240205，37页（2014；Zbl 1342.68218） 全文： 内政部
米歇尔·比多特；唐纳德·桑内拉；安德烈·塔莱基 CASL规范的观测解释。 （英语） Zbl 1141.68026号 数学。结构。计算。科学。 18，第2期，325-371（2008）.MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Bidoit}等人，《数学》。结构。计算。科学。18，编号2，325-371（2008年；兹bl 1141.68026） 全文： 内政部
埃吉迪奥·阿斯泰西亚诺；米歇尔·比多特；赫莱内·基什内尔；Krieg-Brückner，伯尔尼；彼得·莫塞斯（Peter D.Mosses）。；唐纳德·桑内拉；安德烈·塔莱基 CASL：通用代数规范语言。 （英语） Zbl 1061.68103号 西奥。计算。科学。 286，第2期，153-196（2002）.MSC公司：68问题65 68号30 PDF格式BibTeX公司 XML格式引用 \textit{E.Astesiano}等人，Theor。计算。科学。286，第2号，153--196（2002；Zbl 1061.68103） 全文： 内政部
Furio Honsell；唐纳德·桑内拉 前兆关系。 （英语） Zbl 1012.03039号 Inf.计算。 178，第1期，23-43（2002）.MSC公司：03B70号 03B40型 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{F.Honsell}和\textit{D.Sannella}，Inf.Compute。178，编号1，23-43（2002；Zbl 1012.03039） 全文： 内政部
斯特凡·卡尔斯；唐纳德·桑内拉；安德烈·塔莱基 扩展ML的定义：简单介绍。 （英语） Zbl 0901.68024号 西奥。计算。科学。 173，第2期，445-484（1997）.MSC公司：68甲15 PDF格式BibTeX公司 XML格式引用 \textit{S.Kahrs}等人，Theor。计算。科学。173，编号2，445--484（1997；Zbl 0901.68024） 全文： 内政部
唐纳德·桑内拉；安德烈·塔莱基 代数规范和程序开发的基本概念。 （英语） Zbl 0887.68070号 正式Asp。计算。 9，第3期，229-269（1997）.MSC公司：68问题65 PDF格式BibTeX公司 XML格式引用 \textit{D.Sannella}和\textit{A.Tarlecki}，正式Asp。计算。9，第3号，229--269（1997；Zbl 0887.68070） 全文： 内政部
马丁·霍夫曼；唐纳德·桑内拉 关于高阶逻辑中的行为抽象和行为满足。 （英语） 兹伯利0874.68196 西奥。计算。科学。 167，第1-2、3-45号（1996年）.MSC公司：第68季度第60季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.霍夫曼}和\textit{D.Sannella}，提奥。计算。科学。167，编号1--2，3--45（1996；Zbl 0874.68196） 全文： 内政部
马丁·霍夫曼；唐纳德·桑内拉 关于高阶逻辑中的行为抽象和行为满足。 （英语） 兹比尔1496.68190 Mosses，Peter D.（编辑）等人，《TAPSOFT’95：软件开发的理论与实践》。1995年5月在丹麦奥胡斯举行的第六届CAAP/FASE国际联席会议。诉讼程序。柏林：Springer-Verlag。莱克特。票据计算。科学。915, 247-261 (1995).MSC公司：第68季度第60季度 03B70号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.霍夫曼}和\textit{D.Sannella}，莱克特。票据计算。科学。915247--261（1995年；Zbl 1496.68190） 全文： 内政部
罗伯特·哈珀；唐纳德·桑内拉；安德烈·塔莱基 结构化理论陈述和逻辑表示。 （英语） Zbl 0809.03019号 Ann.纯粹应用。逻辑 67，编号1-3，113-160（1994）. 审核人：N.Curteanu（伊阿什） MSC公司：03B70号 03B40型 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{R.Harper}等人，Ann.Pure Appl。逻辑67，编号1--3，113-160（1994；Zbl 0809.03019） 全文： 内政部
唐纳德·桑内拉；安德烈·塔莱基 从代数规范走向程序的形式化开发：模型理论基础。 （英语） Zbl 1425.68082号 Kuich，Werner（编辑），《自动化，语言和编程》。第19届国际学术讨论会，1992年7月13日至17日，奥地利维也纳。诉讼程序。柏林：Springer-Verlag。莱克特。票据计算。科学。623, 656-671 (1992).MSC公司：68号30 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{D.Sannella}和\textit{A.Tarlecki}，莱克特。票据计算。科学。623656--671（1992年；Zbl 1425.68082） 全文： 内政部
唐纳德·桑内拉；斯特凡·索科·奥斯基；安德烈·塔莱基 从代数规范走向程序的正式开发：重新审视参数化。 （英语） 兹比尔0790.68077 学报信息。 29，第8期，689-736（1992）. 审核人：D.Sannella（爱丁堡） MSC公司：第68季度第60季度 68号01 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{D.Sannella}等人，《学报》第29期，第8期，第689--736页（1992年；Zbl 0790.68077） 全文： 内政部
唐纳德·桑内拉；安德烈·塔莱基 任意机构中的规范。 （英语） Zbl 0654.68017号 Inf.计算。 76，编号2-3165-210（1988）. 审核人：H.D.赫里希 MSC公司：68号01 68第05页 68问题65 03B10号机组 第68季度第60季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{D.Sannella}和\textit{A.Tarlecki}，Inf.Compute。76，编号2--3，165-210（1988；Zbl 0654.68017） 全文： 内政部
唐纳德·桑内拉；安德烈·塔莱基 从代数规范走向程序的正式开发：重温实现。 （英语） Zbl 0621.68004号 学报信息。 25，第3期，233-281（1988年）.MSC公司：第68季度第60季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{D.Sannella}和\textit{A.Tarlecki}，《学报》第25期，第3期，第233--281页（1988；Zbl 0621.68004） 全文： 内政部
唐纳德·桑内拉；安德烈·塔莱基 关于观测等价和代数规范。 （英语） Zbl 0619.68028号 J.计算。系统。科学。 34, 150-178 (1987).MSC公司：68第05页 PDF格式BibTeX公司 XML格式引用 \textit{D.Sannella}和\textit{A.Tarlecki}，J.Compute。系统。科学。34、150--178（1987年；Zbl 0619.68028） 全文： 内政部
D.桑内拉。 Clear的集合理论语义。 （英语） Zbl 0535.68040号 学报信息。 21, 443-472 (1984).MSC公司：68问题55 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Sannella}，《信息学报》21，443--472（1984；Zbl 0535.68040） 全文： 内政部