Finite and Algorithmic Model Theory - Javier Esparza; Christian Michaux; Charles Steinhorn (2011)