A coalgebraic equational approach to specifying observational structures (1999)

by C Crstea
Venue:Coalgebraic Methods in Computer Science