Components as coalgebras: the refinement dimension - Barbosa, L. S. (2006)