Text this: Definition of programming languages by interpreting automata /