"Formal Models of Communicating Systems. Languages, Automata, and Monadic Second-order Logic" - читать интересную книгу автора (Benedikt Bollig)