K
[Koz83] Dexter C. Kozen. Results on the Propositional μ-calculus. Theoretical Computer Science 27:333-354. Elsevier, 1983. 
@article{tcs27()-Koz,
  author =              {Kozen, Dexter C.},
  title =               {Results on the Propositional {\(\mu\)}-calculus},
  publisher =           {Elsevier},
  journal =             {Theoretical Computer Science},
  volume =              {27},
  pages =               {333-354},
  year =                {1983},
}
List of authors