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