Algebraic-coalgebraic specification (2003)

by Till Mossakowski, Horst Reichel, Markus Roggenbach, Lutz Schröder
Venue:in CoCASL, Proc. WADT 2002, Springer LNCS 2755