An algebra-coalgebra framework for system specification (2007)

by C Cîrstea
Venue:In 3rd International Workshop on Coalgebraic Methods in Computer Science, Elsevier ENTCS 33