Generalising Automaticity to Modal Properties of Finite Structures - Dawar, A; Kreutzer, S (Springer, 2002)