@misc{W2015640848,
  author = {Dexter Kozen},
  title = {Results on the propositional μ-calculus},
  year = {1983},
  howpublished = {Theoretical Computer Science},
  doi = {https://doi.org/10.1016/0304-3975(82)90125-6}
}