Meng S, Barbosa LS.? 2004.??On Refinement of Generic Software Components. Proceedings of 10th International Conference on Algebraic Methodology and Software Technology - AMAST. 3116:506?520.