A Language-Theoretic Approach - Bruno Courcelle-Joost Engelfriet (Cambridge University Press, 2012)
Keywords: Infinity; Logic, Symbolic and mathematical--Graphic methods; MATHEMATICS