Barbosa LS, Meng S.? 2012.??A Calculus for Generic, QoS-Aware Component Composition. Mathematics in Computer Science. 6(4):475-497.