Stav dette: A Formal Semantics of Core Erlang