E
[EL87] E. Allen Emerson and Chin-Laung Lei. Modalities for Model Checking: Branching Time Logic Strikes Back. Science of Computer Programming 8(3):275-306. Elsevier, June 1987. 
@article{scp8(3)-EL,
  author =              {Emerson, E. Allen and Lei, Chin-Laung},
  title =               {Modalities for Model Checking: Branching Time Logic
                         Strikes Back},
  publisher =           {Elsevier},
  journal =             {Science of Computer Programming},
  volume =              {8},
  number =              {3},
  pages =               {275-306},
  year =                {1987},
  month =               jun,
}
List of authors