Coalgebras for Binary Methods: Properties of Bisimulations and InvariantsHendrik TewsRAIRO-Theor. Inf. Appl., 35 1 (2001) 83-111DOI: https://doi.org/10.1051/ita:2001110
