Jörg Flum Erich Grädel Thomas Wilke Logic and Automata: History and Perspectives [in Honor of Wolfgang Thomas]. Amsterdam University Press Texts in Logic and Games 2 978-90-5356-576-6 Logic and Automata 2008 db/conf/birthday/thomas2008.html