"The Automata Theory Package omega."

Jens Vöge et al. (1997)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics