Finite-model theory and its applications. - Springer Verlag, 2007. - ( Texts in Theoretical computer Science (EATCS series) ).