Barbosa LS, Meng S.? 2008.??UML Model Refactoring as Refinement: A Coalgebraic Perspective. 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - SYNASC . :340-347.