Formal-Models-of-Communicating-Systems-Languages-Automata-and-Monadic-Second-Order-Logic 82,38 EUR*