P
[PZ93] Amir Pnueli and Lenore D. Zuck. In and Out of Temporal Logic. In LICS'93, pages 124-135. IEEE Comp. Soc. Press, June 1993. 
@inproceedings{lics1993-PZ,
  author =              {Pnueli, Amir and Zuck, Lenore D.},
  title =               {In and Out of Temporal Logic},
  booktitle =           {{P}roceedings of the 8th {A}nnual {S}ymposium on
                         {L}ogic in {C}omputer {S}cience ({LICS}'93)},
  acronym =             {{LICS}'93},
  publisher =           {IEEE Comp. Soc. Press},
  pages =               {124-135},
  year =                {1993},
  month =               jun,
}
List of authors