Overheu, D. L. "An Abstract Machine for Symbolic Computation" pp444-468

[ACM] (1966) [ACM] JACM 13(03) July 1966  

Languages mentioned AM1 {1966} Abstract Machine 1 GM {1963} Lisp Abstract Machine without Labels IPL-V {1957} Information Processing Language v5