安德里亚诺夫，P.S。 分析操作系统组件的正确同步。 （英语） Zbl 1467.68032号 程序。计算。柔和。 46，编号8，712-730（2020）.MSC公司：68N25号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{P.S.Andrianov}，程序。计算。柔和。46，编号8，712-730（2020；兹bl 1467.68032） 全文： 内政部
Mandrykin，M.U。;Khoroshilov，A.V.公司。 C程序演绎验证的区域分析。 （英语。俄文原件） Zbl 1452.68051号 程序。计算。柔和。 42，第5期，257-278（2016）; 译自Programmirovanie 42，No.5，3-29（2016）。MSC公司：68号30 68甲15 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.U.Mandrykin}和\textit{A.V.Khoroshilov}，程序。计算。柔和。42，第5号，257--278（2016；Zbl 1452.68051）；译自Programmirovanie 42，No.5，3--29（2016） 全文： 内政部
Shved，体育。;穆提林（V.S.Mutilin）。;Mandrykin，M.U。 改进BLAST静态验证工具的经验。 （英语。俄文原件） Zbl 1252.68081号 程序。计算。柔和。 38，第3期，134-142（2012）; 译自Programmirovanie 38，No.3（2012）。MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{P.E.Shved}等人，程序。计算。柔和。38，第33134-142号（2012年；兹bl 1252.68081）；译自Programmirovanie 38，No.3（2012） 全文： 内政部