A Formal Semantics of Core Erlang - Abdelrahman Mohamedi, Ibrahim (PQDT - Global, 2025)