Gadducci, Fabio and Lluch-Lafuente, Alberto and Vandin, Andrea Counterpart semantics for a second-order mu-calculus. In: Graph Transformations (ICGT 2010). Lecture Notes in Computer Science, 6372 . Springer, pp. 282-297. ISBN 978-3-642-15927-5 (2010)