Finite model theory and its applications - Gradel, Erich, Erich, 1958- (Texts in theoretical computer science. an EATCS series, 2007)