P. Bereczky, D. Horpácsi, and S. Thompson, “A Formalisation of Core Erlang, a Concurrent Actor Language”, Acta Cybern, Mar. 2024.