First-order definable languages (2007)

by Volker Diekert, Paul Gastin
Venue:Logic and Automata: History and Perspectives, Texts in Logic and Games