UML model refactoring as refinement: a coalgebraic perspective - Barbosa, L. S. (2009)