比约纳，D。 从计算机科学到信息科学的领域科学和工程。一： 工程。 （英语。俄文原件） Zbl 1290.68037号 赛博。系统。分析。 46，第4期，609-623（2010）; 翻译自Kibern。修女。分析。2010年，第4期，100-116（2010）。MSC公司：68N99型 PDF格式BibTeX公司 XML格式引用 \textit{D.Björner}，Cybern。系统。分析。46，No.4，609--623（2010；Zbl 1290.68037）；翻译自Kibern。修女。分析。2010年，第4期，100--116（2010） 全文： 内政部
科尔钦，A.V。 一种用于动态构造形式模型状态抽象的自动方法。 （英语。俄文原件） 兹比尔1288.68166 赛博。系统。分析。 46，第4期，583-601（2010）; 翻译自Kibern。修女。分析。2010年，第4期，70-90（2010）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{A.V.Kolchin}，Cybern。系统。分析。46，No.4，583--601（2010；Zbl 1288.68166）；翻译自Kibern。修女。分析。2010年第4期，70--90（2010） 全文： 内政部
扎哈罗夫，V.A。 用双磁带自动机进行程序等价性检查。 （英语。俄文原件） 兹比尔1288.68171 赛博。系统。分析。 46，第4期，554-562（2010）; 翻译自Kibern。修女。分析。2010年，第4期，39-48（2010）。MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.A.Zakharov}，Cybern。系统。分析。46，No.4，554--562（2010；Zbl 1288.68171）；翻译自Kibern。修女。分析。2010年，第4期，39-48（2010） 全文： 内政部