Abstract Compositional Analysis of Iterated Relations : A Structural Approach to Complex State Transition Systems - Frédéric Geurts ((Lecture Notes in Computer Science))