The Automata Theory Package omega. - Jens Vöge; S. Ulbrand; Oliver Matz; Nils Buhrke (Workshop on Implementing Automata, 1997)