Peter Gumm, H. 2003. State based systems are coalgebras. CUBO, A Mathematical Journal. 5, 2 (Jun. 2003), 239–262.