A simple erlang interpreter implementation followed by Joe Armstrong's paper.