芬恩·詹森。;Larsen,Kim G。 递归定义的域及其归纳原理。 (英语) Zbl 0637.68017号 西奥。计算。科学。 54, 29-51 (1987).MSC公司:68号01 60年第68季度 03D45号 03天80 PDF格式BibTeX公司 XML格式引用 \textit{F.V.Jensen}和\textit{K.G.Larsen},Theor。计算。科学。54,29-51(1987年;兹bl 0637.68017) 全文: 内政部
Larsen,Kim G。 进程之间的上下文相关等价。 (英语) Zbl 0612.68027号 西奥。计算。科学。 49185-215(1987年).MSC公司:第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen},Theor。计算。科学。49185-215(1987年;Zbl 0612.68027) 全文: 内政部