Finite Model Theory and Its Applications by M. Marx, Scott Weinstein & Moshe Y. Vardi