蒂尔·莫萨科夫斯基 将CASL与其他规范语言联系起来:机构级。 (英语) Zbl 1061.68106号 西奥。计算。科学。 286,第2号,367-475(2002年).MSC公司:68问题65 68号30 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{T.Mossakowski},Theor(西奥)。计算。科学。286,No.2,367--475(2002;Zbl 1061.68106) 全文: 内政部
埃吉迪奥·阿斯泰西亚诺;米歇尔·比多特;赫莱内·基什内尔;Krieg-Brückner,伯尔尼;彼得·莫斯。;唐纳德·桑内拉;安德烈·塔莱基 CASL:通用代数规范语言。 (英语) Zbl 1061.68103号 西奥。计算。科学。 286,第2期,153-196(2002).MSC公司:68问题65 68号30 PDF格式BibTeX公司 XML格式引用 \textit{E.Astesiano}等人,Theor。计算。科学。286,第2153--196号(2002年;兹bl 1061.68103) 全文: 内政部
帕特里克·维里 重写逻辑的等式规则。 (英语) Zbl 1001.68058号 西奥。计算。科学。 285,第2期,487-517(2002).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{P.Viry},Theor。计算。科学。285,第2号,487--517(2002;Zbl 1001.68058) 全文: 内政部
拉兹万·迪亚科内斯库;高基町五指 CafeOBJ的逻辑基础。 (英语) Zbl 1001.68079号 西奥。计算。科学。 285,第2期,289-318(2002).MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{R.Diaconescu}和\textit{K.Futatsugi},Theor。计算。科学。285,第2289-318号(2002年;兹bl 1001.68079) 全文: 内政部