Peter Gumm, H. 2003. “State Based Systems Are Coalgebras”. CUBO, A Mathematical Journal 5 (2):239–262. https://cubo.ufro.cl/ojs/index.php/cubo/article/view/1698.