Text this: Automata implementation :Second International Workshop on Implementing Automata, WIAʹ97, London, Ontario, Canada, September 18-20, 1997 :revised papers /