Implementing WS1S via finite automata (1997)

by James Glenn, William I Gasarch
Venue:Automata Implementation, volume 1260 of LNCS