"A prolog toolkit for formal languages and automata."

Michel Wermelinger, Artur Miguel Dias (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics