Logic and automata : history and perspectives - Flum, Jörg, 1944-; Grädel, Erich, 1958-; Wilke, Thomas, 1965- (Text in logic and games ;, 2008)