Nepomnyashij,V。;希洛夫,N。 REAL92:一种用于实时并发系统和属性的组合规范语言。 (俄语。英文摘要) Zbl 0831.68010号 程序mirovanie 1993年,第6号,64-80(1993).MSC公司:68甲15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Nepomnyashij}和\textit{N.Shilov},《编程》,1993年,第6期,第64-80页(1993年;Zbl 08316.8010)
F.尼克尔。;Wirsing,M。 一种正式的需求工程方法。 (俄语。英文摘要) Zbl 0832.68070号 程序mirovanie 1993年,第6号,39-63(1993).MSC公司:60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{F.Nickl}和\textit{M.Wirsing},Programmirovanie 1993年,第6期,第39-63页(1993;Zbl 0832.68070)
Jorrand博士。 过程代数中作为统一的通信:操作语义。 (俄语。英文摘要) Zbl 0832.68069号 程序mirovanie 1993年,第6期,16-38(1993).MSC公司:68问题55 PDF格式BibTeX公司 XML格式引用 \textit{Ph.Jorrand},Programmirovanie 1993年,第6期,第16-38页(1993年;Zbl 0832.68069)
萨贝尔菲尔德,V。 分析应用语言AL程序的一些语义属性。 (俄语。英文摘要) Zbl 0831.68062号 程序mirovanie 1993年,第6期,6-15(1993).MSC公司:68问题55 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{V.Sabelfeld},Programmirovanie 1993,第6期,第6-15期(1993;Zbl 0831.68062)