@misc{indiciaeb0c8840df7c2,
  title = {A Formal Approach for the Development of Service-Oriented Applications},
  author = {Lorina Negreanu and Cristian Giumale and Alexandru Agache and Mihnea Muraru and Matei Popovici and Ciprian Dobre},
  year = {2013},
  url = {https://arxiv.org/abs/1202.2572},
  note = {Source identifier: 1202.2572}
}