erlang/armstrong_thesis_2003.pdf