Wolfgang Thomas Monadic Logic and Automata: Recent Developments. 136-138 1998 LICS db/conf/lics/lics98.html#Thomas98