Coalgebras for Binary Methods: Properties of Bisimulations and Invariants Hendrik Tews RAIRO-Theor. Inf. Appl., 35 1 (2001) 83-111 Published online: 15 April 2002 DOI: 10.1051/ita:2001110