Two papers to add to https://erlef.org/academic-papers/

CauDEr: A Causal-Consistent Reversible Debugger for Erlang
https://link.springer.com/chapter/10.1007/978-3-319-90686-7_16

[A theory of reversibility for Erlang](https://www.sciencedirect.com/science/article/pii/S2352220817301402)