Yoshida, 2014. Towards Reversible Sessions.