Tiezzi, Yoshida, 2014. Towards Reversible Sessions 155.. https://doi.org/10.4204/eptcs.155.3