P
[Pnu77] Amir Pnueli. The Temporal Logic of Programs. In FOCS'77, pages 46-57. IEEE Comp. Soc. Press, October 1977. 
@inproceedings{focs1977-Pnu,
  author =              {Pnueli, Amir},
  title =               {The Temporal Logic of Programs},
  booktitle =           {{P}roceedings of the 18th {A}nnual {S}ymposium on
                         {F}oundations of {C}omputer {S}cience ({FOCS}'77)},
  acronym =             {{FOCS}'77},
  publisher =           {IEEE Comp. Soc. Press},
  pages =               {46-57},
  year =                {1977},
  month =               oct,
  doi =                 {10.1109/SFCS.1977.32},
}
List of authors