Peter Gumm, H. State Based Systems Are Coalgebras. CUBO 2003, 5, 239–262.