彼得·莫塞斯（Peter D.Mosses）。（编辑） CASL参考手册。通用代数规范语言的完整文档。 （英语） Zbl 1046.68001号 计算机科学课堂讲稿2960.柏林：施普林格出版社（ISBN 3-540-21301-5/pbk）。十七、528页。(2004). 出版商描述：CASL是通用代数规范语言，由CoFI成员设计，CoFI是用于代数规范和开发的通用框架倡议，是一种通用语言，可在软件开发中实际使用，用于指定需求和设计。CASL已经被视为事实上的标准，各种子语言和扩展可用于特定任务。本参考手册提供了CASL规范形式的详细文档。它回顾了主要的基本概念，并仔细总结了CASL每个结构的预期含义。该书正式定义了CASL的语法和语义，并提出了关于CASL规范的推理逻辑。此外，还提供了CASL基本数据类型规范的广泛库以及CoFI出版物的综合注释书目。作为一本单独的补充书，LNCS 2900介绍了CASL的教程介绍，即CASL用户手册。 引用于47文件 MSC公司： 68-00 与计算机科学有关的一般参考书（手册、词典、书目等） 68号30 软件工程的数学方面（规范、验证、度量、需求等） 68问题65 抽象数据类型；代数规范 软件：CoFI公司;CASL公司 PDF格式BibTeX公司 XML格式引用 \textit{P.D.Mosses}（编辑），CASL参考手册。通用代数规范语言的完整文档。柏林：施普林格出版社（2004；Zbl 1046.68001） 全文： 内政部