Algebraic specification in CASL

The Common Framework Initiative for Algebraic Specification and Development of Software: Recent Progress

WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques

Unit Testing for C88 ASL Architectural Specifications

MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science

A property based specification formalism classification

Journal of Systems and Software

CCC: the CASL consistency checker

WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques

Lambda expressions in casl architectural specifications

WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques