"Introduction to Process Algebra (Texts in Theoretical Computer Science. An EATCS Series)" - читать интересную книгу автора (Wan Fokkink)