Algebraiccoalgebraic specification in cocasl (0)

by T Mossakowski, H Reichel, M Roggenbach, L Schroder
Venue:the proceedings of the 16th WADT