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