P. Bereczky, D. Horpácsi, and S. Thompson, “A Formalisation of Core Erlang, a Concurrent Actor Language”, Acta Cybern, vol. 26, no. 3, pp. 373-404, Mar. 2024.