Abstract machines for programming language implementation (2000) [pdf]
inf.ed.ac.uk