Results on the propositional mu-calculus., Theoretical Computer Science 27 (1983)

by D Kozen