Elements of finite model theory - Libkin, Leonid, 1965- (Springer, 2004)