The Coalgebraic Class Specification Language CCSL (0)

by J Rothe, H Tews, B Jacobs
Venue:J. of Universal Computer Science