H. Peter Gumm, “State based systems are coalgebras”, CUBO, vol. 5, no. 2, pp. 239–262, Jun. 2003.