"Abstract Compositional Analysis of Iterated Relations: A Structural Approach to Complex State Transition Systems" - читать интересную книгу автора (Frederic Geurts)