Peter Gumm, H. (2003). State based systems are coalgebras. CUBO, A Mathematical Journal, 5(2), 239–262. Retrieved from https://cubo.ufro.cl/ojs/index.php/cubo/article/view/1698