布利切夫，P.E。 博弈论模拟检查工具。 （英语。俄文原件） Zbl 1242.68154号 程序。计算。柔和。 37，第4期，200-209（2011）; 译自Programmirovanie 37，No.4（2011）。MSC公司：第68季度第60季度 68问题85 03B44号 91A80型 68号30 PDF格式BibTeX公司 XML格式引用 \textit{P.E.Bulychev}，程序。计算。柔和。37，第4号，200--209（2011；Zbl 1242.68154）；译自Programmirovanie 37，No.4（2011） 全文： 内政部
Virbitskaite，I.B.公司。;E.A.波科齐。 时间Petri网行为的参数验证方法。 （英语。俄文原件） Zbl 0972.68124号 程序。计算。柔和。 193-203年第4期第25期（1999年）; 翻译自Programmirovanie 1999，第4期，16-29页（1999年）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{I.B.Virbitskaite}和\textit{E.A.Pokozy}，程序。计算。柔和。25，第4193-203号（1999年；Zbl 0972.68124）；译自Programmirovanie 1999，No.4，16-29（1999）
M.K.瓦利耶夫。 时序逻辑在程序规范中的应用。 （英语。俄文原件） Zbl 0972.68110号 程序。计算。柔和。 24，第2期，47-51页（1998年）; 译自Programmirovanie 1998，No.2，3-9（1998）。MSC公司：第68季度第60季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.K.Valiev}，程序。计算。柔和。24，第2号，47-51（1998；Zbl 0972.68110）；译自Programmirovanie 1998，No.2，3--9（1998）