@misc{indiciae4234ddf8e99f,
  title = {Proceedings Fifth Workshop on Formal Languages and Analysis of Contract-Oriented Software},
  author = {Ernesto Pimentel and Valentín Valero},
  year = {2011},
  doi = {10.4204/eptcs.68},
  url = {https://arxiv.org/abs/1109.2399},
  note = {Source identifier: 1109.2399}
}