@article{tiezzi_yoshida_2014, 
  title={Towards Reversible Sessions}, 
  volume={155}, 
  DOI={10.4204/eptcs.155.3}, 
  publisher={Open Publishing Association}, 
  author={Tiezzi and Yoshida}, 
  year={2014}, 
  month={Jun}
  }