蒂尔·莫萨科夫斯基 将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) 全文: 内政部