Finite Model Theory - Ebbinghaus, Heinz-Dieter, 1939- (Springer-Verlag Berlin Heidelberg, 2006)