Counterpart semantics for a second-order \(\mu\)-calculus
scientific article; zbMATH DE number 6054486