Text this: Abstract compositional analysis of iterated relations : a structural approach to complex state transition systems / Frédéric Geurts.