伊巴涅兹，雅兹明·安吉利卡;蒂尔·莫萨科夫斯基;唐纳德·桑内拉;安德烈·塔莱基 任意机构中本体的模块化。 （英语） Zbl 1321.68418号 Martí-Oliet，Narciso（编辑）等人，《逻辑、重写和并发》。纪念何塞·梅塞盖尔65岁生日的文章。查姆：施普林格（ISBN 978-3-319-23164-8/pbk；978-3-3169-23165-5/电子书）。计算机科学讲义9200，361-379（2015）。MSC公司：68立方英尺 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{Y.A.Ibañez}等人，Lect。注释计算。科学。9200，361--379（2015；Zbl 1321.68418） 全文： 内政部
唐纳德·桑内拉;安德烈·塔莱基 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） 全文： 内政部 链接
埃吉迪奥·阿斯泰西亚诺;米歇尔·比多特;赫莱内·基什内尔;Krieg-Brückner，伯尔尼;彼得·莫塞斯（Peter D.Mosses）。;唐纳德·桑内拉;安德烈·塔莱基 CASL：通用代数规范语言。 （英语） Zbl 1061.68103号 西奥。计算。科学。 第2期第286页，第153-196页（2002年）.MSC公司：68问题65 68纳米30 PDF格式BibTeX公司 XML格式引用 \textit{E.Astesiano}等人，Theor。计算。科学。286，第2号，153--196（2002；Zbl 1061.68103） 全文： 内政部
斯特凡·卡尔斯;唐纳德·桑内拉;安德烈·塔莱基 扩展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） 全文： 内政部
罗伯特·哈珀;唐纳德·桑内拉;安德烈·塔莱基 结构化理论陈述和逻辑表示。 （英语） 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） 全文： 内政部
唐纳德·桑内拉;安德烈·塔莱基 任意机构中的规范。 （英语） Zbl 0654.68017号 Inf.计算。 76，编号2-3，165-210（1988）. 审核人：H.D.埃里奇 MSC公司：68号01 68第05页 68问题65 03B10号机组 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{D.Sannella}和\textit{A.Tarlecki}，Inf.Compute。76，编号2--3，165-210（1988；Zbl 0654.68017） 全文： 内政部
唐纳德·桑内拉;安德烈·塔莱基 关于观测等价和代数规范。 （英语） 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 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Sannella}，《信息学报》21，443--472（1984；Zbl 0535.68040） 全文： 内政部