Definition of programming languages by interpreting automata - Ollongren, Alexander (Academic Press Inc, 1974)