Barbosa LS, Oliveira JN, Silva A.? 2008.??Calculating invariants as coreflexive bisimulations. Proceedings of 12th International Conference on Algebraic Methodology and Software Technology - AMAST . 5140:83?99.