E
[EJS01] E. Allen Emerson, Charanjit S. Jutla, and A. Prasad Sistla. On model checking for the Mu-calculus and its fragments. Theoretical Computer Science 258(1-2):491-522. Elsevier, May 2001. 
@article{tcs258(1-2)-EJS,
  author =              {Emerson, E. Allen and Jutla, Charanjit S. and
                         Sistla, A. Prasad},
  title =               {On model checking for the Mu-calculus and its
                         fragments},
  publisher =           {Elsevier},
  journal =             {Theoretical Computer Science},
  volume =              {258},
  number =              {1-2},
  pages =               {491-522},
  year =                {2001},
  month =               may,
}
List of authors