Elements of finite model theory - Libkin, Leonid 1965- (Texts in theoretical computer science, 2004)