. . "Machine-checked natural semantics for Core Erlang: exceptions and side effects (Other)"^^ . . . . . . .