@misc{indiciaebf8d48f440d3,
  title = {Retractable Contracts},
  author = {Franco Barbanera and Mariangiola Dezani-Ciancaglini and Ivan Lanese and Ugo de'Liguoro},
  year = {2016},
  doi = {10.4204/eptcs.203.5},
  url = {https://arxiv.org/abs/1602.03595},
  note = {Source identifier: 1602.03595}
}