Anfonwch hwn fel neges destun: Formal models of communicating systems : languages, automata, and monadic second-order logic / Benedikt Bollig.