The Coalgebraic Class Specification Language (0)

by J Rothe, H Tews, B Jacobs
Venue:CCSL, J. Universal Comput. Sci