Graph Structure and Monadic Second-Order Logic door Bruno Courcelle & Joost Engelfriet