Tilman Becker: A New Automaton Model for TAGs: 2-SA. Comput. Intell. 10: 422-430 (1994)