Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic - Bollig, Benedikt (Springer Berlin Heidelberg, 2006)