"Logics for Concurrency: Structure versus Automata (Lecture Notes in Computer Science)" - читать интересную книгу автора (Faron Moller, Graham Birtwistle)