Rodrigues N, Barbosa LS.? 2003.??On the Specification of a Component Repository. 1st International Workshop on Formal Approaches to Component Software - FACS. :47?62.