Joost Engelfriet

Simple program schemes and formal languages
Graph Structure and Monadic Second-Order Logic