Algebraic-coalgebraic specification in CoCasl (2006)

by Till Mossakowski, Horst Reichel, Markus Roggenbach, Lutz Schröder
Venue:J. LOGIC ALGEBRAIC PROGRAMMING