"Graph Structure and Monadic Second-Order Logic: A Language-Theoretic Approach" - читать интересную книгу автора (Bruno Courcelle, Joost Engelfriet, 2012)