Enviar por SMS: Formal models of communicating systems : languages, automata, and monadic second-order logic / Benedikt Bollig.