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