罗尔夫·亨尼克;亚历山大·纳普;亚历山大·马德拉 具有绑定和静默转换的混合动态逻辑的观察解释。 （英语） Zbl 1528.68224号 J.日志。阿尔盖布。方法计划。 122，文章ID 100698，19 p.（2021）.MSC公司：60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{R.Hennicker}等人，J.Log。阿尔盖布。方法程序。122，文章ID 100698，19 p.（2021；Zbl 1528.68224） 全文： 内政部
唐纳德·桑内拉;安德烈·塔莱基 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） 全文： 内政部 链接
米歇尔·比多特;唐纳德·桑内拉;安德烈·塔莱基 CASL规范的观测解释。 （英语） Zbl 1141.68026号 数学。结构。计算。科学。 18，第2期，325-371（2008）.MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit｛M.Bidoit｝等人，数学。结构。计算。科学。18，第2号，325--371（2008；Zbl 1141.68026） 全文： 内政部
美国雷迪。 类Algol语言中的对象和类。 （英语） Zbl 1009.68021号 Inf.计算。 172，第1期，63-97（2002）.MSC公司：68甲19 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{美国红}，Inf.Comput。172，编号1，63--97（2002；Zbl 1009.68021） 全文： 内政部 链接
罗尔夫·亨尼克;马丁·威尔辛 结构化代数规范的证明系统：概述。 （英语） Zbl 1507.68202号 Chlebus，Bogdan S.（编辑）等人，《计算理论基础》。第11届国际研讨会，1997年9月1日至3日，波兰克拉科夫贾吉略大学FCT’97。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1279, 19-37 (1997).MSC公司：68问题65 PDF格式BibTeX公司 XML格式引用 \textit{R.Hennicker}和\textit{M.Wirsing}，莱克特。注释计算。科学。1279、19-37（1997年；Zbl 1507.68202） 全文： 内政部
Leavens，Gray T。;皮戈齐，唐 行为实现附加和广义同态关系。 （英语） Zbl 0901.68123号 西奥。计算。科学。 177，第1期，183-216（1997）.MSC公司：68问题65 PDF格式BibTeX公司 XML格式引用 \textit{G.T.Leavens}和\textit{D.Pigozzi}，Theor。计算。科学。177，编号1，183--216（1997；Zbl 0901.68123） 全文： 内政部
罗尔夫·亨尼克;马丁·威尔辛;米歇尔·比多特 具有可观测性算子的结构化规范的证明系统。 （英语） 兹伯利0901.68116 西奥。计算。科学。 173，编号239-443（1997）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Hennicker}等人，Theor。计算。科学。173，编号2，393--443（1997；Zbl 0901.68116） 全文： 内政部
马丁·霍夫曼;唐纳德·桑内拉 关于高阶逻辑中的行为抽象和行为满足。 （英语） Zbl 0874.68196号 西奥。计算。科学。 167，第1-2、3-45号（1996年）.MSC公司：60年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.霍夫曼}和\textit{D.Sannella}，提奥。计算。科学。167，编号1--2，3--45（1996；Zbl 0874.68196） 全文： 内政部
米歇尔·比多特;罗尔夫·亨尼克 行为理论和行为特性的证明。 （英语） Zbl 0872.68167号 西奥。计算。科学。 165，第1期，第3-55页（1996年）.MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Bidoit}和\textit{R.Hennicker}，Theor。计算。科学。165，第1号，第3--55号（1996；Zbl 0872.68167） 全文： 内政部
Gary T.Leavens。;William E.Weihl。 使用超类型抽象的面向对象程序的规范和验证。 （英语） Zbl 0831.68009号 学报信息。 32，第8期，705-778（1995）.MSC公司：68甲15 PDF格式BibTeX公司 XML格式引用 \textit{G.T.Leavens}和\textit{W.E.Weihl}，《学报》第32期，第8期，第705--778页（1995年；Zbl 0831.68009） 全文： 内政部
奥利弗·肖特 关于抽象数据类型的行为规范的两个不可能定理。 （英语） Zbl 0790.68080号 学报信息。 29，第6-7号，595-621（1992）. 审核人：O.Schoett（慕尼黑） MSC公司：68问题65 60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{O.Schoett}，《学报》第29期，第6--7、595--621号（1992年；Zbl 0790.68080） 全文： 内政部
托比亚斯·尼普科 非确定性数据类型：模型和实现。 （英语） Zbl 0564.68013号 学报信息。 22, 629-661 (1986).MSC公司：68第05页 PDF格式BibTeX公司 XML格式引用 \textit{T.Nipkow}，《信息学报》22，629--661（1986；Zbl 0564.68013） 全文： 内政部