Formal models of communicating systems : languages, automata, and monadic second-order logic - Bollig, Benedikt (Springer, 2006)