马里亚纽拉州Dezani-Ciancaglini;保拉·吉安尼尼;奥斯卡·尼尔斯特拉斯 不断演化的物体的微积分。 （英语） Zbl 1424.68038号 科学。Ann.计算。科学。 18, 63-98 (2008).MSC公司：68纳米30 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.Dezani-Ciancaglini}等人，科学。Ann.计算。科学。18、63-98（2008年；Zbl 1424.68038）
俞振华;蔡元利;徐海平 动态软件体系结构的建模方法。 （中文。英文摘要） Zbl 1150.68322号 J.西安交通大学。 41，第2期，167-171（2007）.MSC公司：68纳米30 PDF格式BibTeX公司 XML格式引用 \textit{Z.Yu}et al.，J.西安交通大学41，No.2，167--171（2007；Zbl 1150.68322）
娜塔莎·莎莉吉娜;萨加·查基;埃德蒙·克拉克;尼尚·辛哈 动态组件可替代性分析。 （英语） Zbl 1120.68421号 Fitzgerald，John（编辑）等人，FM 2005：形式方法。欧洲正式方法国际研讨会，英国纽卡斯尔，2005年7月18日至22日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-27882-6/pbk）。计算机科学课堂讲稿3582，512-528（2005）。MSC公司：60年第68季度 68纳米30 PDF格式BibTeX公司 XML格式引用 \textit{N.Sharygina}等人，Lect。注释计算。科学。3582512-528（2005；Zbl 1120.68421） 全文： 内政部
伊贡博格尔;罗伯特·斯特尔克 抽象状态机。一种高级系统设计和分析方法（使用CD-ROM）。 （英语） Zbl 1040.68042号 柏林：施普林格出版社（ISBN 3-540-00702-4/hbk）。x、 第438页。(2003). 审核人：Jörg Desel（艾希斯特） MSC公司：2005年第68季度 68纳米30 2010年第68季度 68-01 PDF格式BibTeX公司 XML格式引用 \textit{E.Börger}和\textit{R.Stärk}，抽象状态机。一种高级系统设计和分析方法（使用CD-ROM）。柏林：施普林格出版社（2003；Zbl 1040.68042） 全文： 内政部