Definition of programming languages by interpreting automata - Ollongren, Alexander (A.P.I.C. Studies in Data Processing / Academic Press Inc., 1974)