@misc{indiciae7c6e471f9f53,
  title = {Proceedings Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software},
  author = {Gordon J. Pace and Anders P. Ravn},
  year = {2012},
  doi = {10.4204/eptcs.94},
  url = {https://arxiv.org/abs/1209.1699},
  note = {Source identifier: 1209.1699}
}