E
[Eme96] E. Allen Emerson. Model Checking and the Mu-calculus. In Neil Immerman and Phokion G. Kolaitis (eds.), Descriptive Complexity and Finite Models, DIMACS Series in Discrete Mathematics and Theoretical Computer Science 31, pages 185-214. American Mathematical Society, 1996. 
@incollection{dimacs31-Eme,
  author =              {Emerson, E. Allen},
  title =               {Model Checking and the Mu-calculus},
  editor =              {Immerman, Neil and Kolaitis, Phokion G.},
  booktitle =           {Descriptive Complexity and Finite Models},
  publisher =           {American Mathematical Society},
  series =              {DIMACS Series in Discrete Mathematics and
                         Theoretical Computer Science},
  volume =              {31},
  pages =               {185-214},
  year =                {1996},
}
List of authors