利西萨，A.P。;Nemytykh，A.P。 在一个使用oracle进行计算的应用程序上。 （英语。俄文原件） Zbl 1253.68089号 程序。计算。柔和。 36，第3期，157-165（2010）；译自Programmirovanie 36，No.3（2010）。MSC公司：68N20型 68甲19 68N99型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.P.Lisitsa}和\textit{A.P.Nemytykh}，程序。计算。柔和。36，第3号，157--165（2010；Zbl 1253.68089）；译自Programmirovanie 36，No.3（2010） 全文： 内政部
图巴·雅武兹·卡维奇;特维克布尔坦 动作语言验证器：反应式软件规范的无限状态模型检查器。 （英语） 兹比尔1185.68427 形式方法系统。设计。 35，第3期，325-367（2009）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Yavuz-Kahveci}和\textit{T.Bultan}，形式方法系统。设计。35，第3号，325--367（2009；Zbl 1185.68427） 全文： 内政部