Doriana Medic, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida: A parametric framework for reversible π-calculi. Inf. Comput. 275: 104644 (2020)