"Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship (Cambridge Tracts in Theoretical Computer Science, Volume 23) " - читать интересную книгу автора (E.-R. Olderog)