Star-free regular sets of omega-sequences (1979)

by W Thomas
Venue:Inform. and Control