H. R. Andersen, “On Reasoning about Infinite-State Systems in the Modal µ-Calculus”, DPB, vol. 22, no. 446, Jun. 1993.