蒂尔·莫萨科夫斯基;卢茨·施罗德;谢尔盖·冈查洛夫 用于推理纯度和效果的通用完整动态逻辑。 （英语） Zbl 1209.68084号 正式Asp。计算。 22，编号3-4，363-384（2010）.MSC公司：68甲15 PDF格式BibTeX公司 XML格式引用 \textit{T.Mossakowski}等人，正式Asp。计算。22，编号3--4，363--384（2010；Zbl 1209.68084） 全文： 内政部 哈尔
理查德·基伯茨。 程序验证的编程策略。 （英语） Zbl 1277.68057号 Antoy，Sergio（编辑），第六届改写和编程简化策略国际研讨会论文集（WRS 2006），西雅图，华盛顿州，美国，2006年8月11日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》174，第10期，3-38页（2007年）。MSC公司：68号30 68甲18 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{R.B.Kieburtz}，电子。注释Theor。计算。科学。174，第10号，第3--38号（2007；Zbl 1277.68057） 全文： 内政部
蒂尔·莫萨科夫斯基;卢茨·施罗德;马库斯·罗根巴赫;霍斯特·赖切尔 CoCASL中的代数-余代数规范。 （英语） Zbl 1088.68115号 J.日志。阿尔盖布。程序。 67，第1-2号，146-197（2006）.MSC公司：68问题65 第68季度85 03B40型 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{T.Mossakowski}等人，J.Log。阿尔盖布。程序。67，编号1--2，146-197（2006；Zbl 1088.68115） 全文： 内政部