Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)