库尔山，R.P。;麦克米兰，K.L。 过程的结构归纳定理。 （英语） Zbl 0828.68096号 Inf.计算。 117，第1期，第1-11页（1995年）.MSC公司：第68季度第60季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.P.Kurshan}和\textit{K.L.McMillan}，Inf.Compute。117，编号1，1--11（1995；Zbl 0828.68096） 全文： 内政部
E.M.克拉克。;O·格伦伯格。;库尔山，R.P。 两种有限状态并发系统验证方法的综合。 （英语） 兹比尔0782.68078 J.日志。计算。 2，第5期，605-618（1992）.MSC公司：第68季度第60季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Clarke}等人，J.Log。计算。2，第5号，605--618（1992；Zbl 0782.68078） 全文： 内政部
E.M.克拉克。;I.A.布朗。;库尔山，R.P。 一种统一的方法，用于显示各种类型的\（\omega \）-自动机之间的语言包含和等价性。 （英语） Zbl 0759.68063号 CAAP’90，程序。第十五届学术讨论会，哥本哈根/丹麦，1990年，勒克特。注释计算。科学。431, 103-116 (1990).MSC公司：65年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Clarke}等人，Lect。注释计算。科学。431103--116（1990年；Zbl 0759.68063）