Finite model theory and its applications - Grädel, Erich, 1958- (Springer, 2007)