Grail: A C++ Library for Automata and Expressions (1995)

by Darrell Raymond , Derick Wood
Venue:JOURNAL OF SYMBOLIC COMPUTATION