A coequational approach to specifying behaviours (1999)

by Corina Cirstea
Venue:Proceedings of the Second Workshop on Coalgebraic Methods in Computer Science (CMCS'99