"TIC - A Toolkit for Valication in Formal Language Learning."

Volker Dötsch, Klaus P. Jantke (2000)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics