Neguritsa,V.M.公司。 上下文自动机的功能控制方法。 (英语。俄文原件) 兹伯利0875.68126 自动化。控制计算。科学。 25,第4期,40-46页(1991年); Avtom翻译。维奇尔。泰克。1991年,第4期,第42-48页(1991年)。MSC公司:68平方米 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.M.Neguritsa},自动。控制计算。科学。25,第4号,40-46(1991;Zbl 0875.68126);Avtom翻译。维奇尔。泰克。1991年,第4期,42-48(1991)
Yu Karpov。G.公司。 基于CCS的协议的正式描述和验证。 (英语。俄文原件) Zbl 0623.68025号 自动化。控制计算。科学。 20,第6号,16-25(1986); Avtom翻译。维奇尔。泰克。20,第6期,21-30(1986年)。MSC公司:68N25号 PDF格式BibTeX公司 XML格式引用 \textit{Yu.G.Karpov},汽车。控制计算。科学。20,第6号,第16-25条(1986;Zbl 0623.68025);Avtom翻译。维奇尔。泰克。20,第6号,第21--30号(1986年)