Algebraiccoalgebraic specification in CoCasl (2003)

by T Mossakowski, H Reichel, M Roggenbach, L Schröder
Venue:Recent Trends in Algebraic Development Techniques (Selected papers of the 16th WADT, September 2002