Henning Fernau Frank Stephan Characterizations of Recursively Enumerable Sets by Programmed Grammars With Unconditional Transfer. 117-152 1999 4 Journal of Automata, Languages and Combinatorics 2 db/journals/jalc/jalc4.html#FernauS99