Automata Implementation 4th International Workshop on Implementing Automata, WIA'99 Potsdam, Germany, July 17-19, 2001 Revised Papers - Boldt, Oliver; Boldt, Oliver; Jürgensen, Helmut; Jürgensen, Helmut (Springer Berlin Heidelberg : Imprint: Springer, 2001)