S
[SE89] Robert S. Streett and E. Allen Emerson. An Automata Theoretic Decision Procedure for the Propositional Mu-Calculus. Information and Computation 81(3):249-264. Academic Press, 1989. 
@article{icomp81(3)-SE,
  author =              {Streett, Robert S. and Emerson, E. Allen},
  title =               {An Automata Theoretic Decision Procedure for the
                         Propositional Mu-Calculus},
  publisher =           {Academic Press},
  journal =             {Information and Computation},
  volume =              {81},
  number =              {3},
  pages =               {249-264},
  year =                {1989},
}
List of authors