Core Erlang 1.0.3 language speciﬁcation