Meng S, Barbosa LS.? 2005.??Components as coalgebras: The refinement dimension. Theoretical Computer Science. 351:276-294.