FAdo: tools for finite automata and regular expressions manipulation (2002)

by Rogerio Reis , Nelma Moreira