Gadducci, Fabio and Lluch-Lafuente, Alberto and Vandin, Andrea Counterpart Semantics for a Second-Order mu-Calculus. Fundamenta Informaticae, 118 (1-2). pp. 177-205. ISSN 1875-8681 (2012)