Results on the propositional mu-calculus. Theoretical computer science (1983)

by D Kozen