A Formal Approach for the Development of Service-Oriented Applications
  Please cite this as "Lorina Negreanu, Cristian Giumale, Alexandru Agache, Mihnea Muraru, Matei Popovici, Ciprian Dobre, A Formal Approach for the Development of Service-Oriented Applications, in Proc. of 18th International Conference on Control Systems and Computer Science (CSCS-18), Bucharest, Romania, 2011, pp. 804-810, ISSN: 2066-4451, Politehnica Press" 
Lorina Negreanu, Cristian Giumale, Alexandru Agache, Mihnea Muraru,   Matei Popovici, Ciprian Dobre
cs.SE