Messerschmidt, H., Mraz, F., Otto, F., Platek, M., 2006. Correctness preservation and complexity of simple RL-automata, in: Ibarra, O., Yen, H.-C. (Hrsg.), Implementation and Application of Automata, CIAA 2006 - Proceedings. Springer, Berlin, S. 162–172.