Andersen, H. R. On Reasoning about Infinite-State Systems in the Modal µ-Calculus. DPB 1993, 22.