Algebraiccoalgebraic specification (0)

by T Mossakowski, M Roggenbach L Schröder, H Reichel