Daniela Berardi Diego Calvanese Giuseppe De Giacomo Maurizio Lenzerini Massimo Mecella Automatic Service Composition Based on Behavioral Descriptions. 333-376 2005 14 Int. J. Cooperative Inf. Syst. 4 http://dx.doi.org/10.1142/S0218843005001201 db/journals/ijcis/ijcis14.html#BerardiCGLM05