Peter D. Mosses. CASL Reference Manual, The Complete Documentation of the Common Algebraic Specification Language. Volume 2960 of Lecture Notes in Computer Science, Springer, 2004.
@book{Mosses04, title = {CASL Reference Manual, The Complete Documentation of the Common Algebraic Specification Language}, author = {Peter D. Mosses}, year = {2004}, tags = {completeness, algebraic specification, algebra}, researchr = {https://researchr.org/publication/Mosses04}, cites = {0}, citedby = {0}, volume = {2960}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-21301-5}, }