E
[ES88] E. Allen Emerson and Jayashankar Srinivasan. Branching Time Temporal Logic. In REX'88, Lecture Notes in Computer Science 354, pages 123-172. Springer-Verlag, May 1988. 
@inproceedings{rex1988-ES,
  author =              {Emerson, E. Allen and Srinivasan, Jayashankar},
  title =               {Branching Time Temporal Logic},
  editor =              {de~Bakker, Jaco W. and de Roever, Willem-Paul and
                         Rozenberg, Grzegorz},
  booktitle =           {{L}inear {T}ime, {B}ranching {T}ime and {P}artial
                         {O}rder in {L}ogics and {M}odels for
                         {C}oncurrency~--- {P}roceedings of {REX}
                         {S}chool{\slash}{W}orkshop~1988 ({REX}'88)},
  acronym =             {{REX}'88},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {354},
  pages =               {123-172},
  year =                {1988},
  month =               may,
}
List of authors