Book

Automata, Logics, and Infinite Games

by Erich Grädel, Wolfgang Thomas, Thomas Wilke