Andersen, H. R. (1993) “On Reasoning about Infinite-State Systems in the Modal µ-Calculus”, DAIMI Report Series, 22(446). doi: 10.7146/dpb.v22i446.6763.