"Introduction to Bisimulation and Coinduction" - читать интересную книгу автора (Davide Sangiorgi)