Theory of abstract machines

Seymour Ginsburg
1961 Communications of the ACM  
doi:10.1145/355578.366521 fatcat:grn4jxr3s5bupba2whoq2fhy7a