Abstract Machines for Programming Languages. - S. Z. M. Ibrahim (1974)