1. Calvanese, D., De Giacomo, G., Lenzerini, M., Mecella, M., Patrizi, F.: Automatic service composition and synthesis: the roman model. IEEE Data Eng. Bull. 31(3), 18–22 (2008)
2. Cuevas-Vicenttín, V.: Evaluation of hybrid queries based on service coordination. Ph.D. thesis, University of Grenoble, May 2005.
http://tel.archives-ouvertes.fr/tel-00630601
3. Lecture Notes in Computer Science;V Cuevas-Vicenttín,2010
4. Curcin, V., Missier, P., De Roure, D.: Simulating taverna workflows using stochastic process algebras. Concurr. Comput. : Pract. Exper. 23(16), 1920–1935 (2011)
5. Gurevich, Y.: Evolving Algebras 1993: Lipari Guide. In: Specification and Validation Methods, pp. 9–36. Oxford University Press Inc., New York (1995)