Finite model theory and its applications - Gradel, Erich (Texts in Theoretical Computer Science an EATCS Series,, 2007)