Logic: On the algebraic extension of coalgebraic speci (1999)

by R Hennicker, A Kurz
Venue:Coalgebraic Methods in Computer Science '99, volume 19 of Electronic Notes in Theoretical Computer Science (ENTCS