Jürgen Dassow Helmut Jürgensen Deterministic Soliton Automata with at Most One Cycle. 155-197 1993 46 J. Comput. Syst. Sci. 2 db/journals/jcss/jcss46.html#DassowJ93