P
[Pnu81] Amir Pnueli. The Temporal Semantics of Concurrent Programs. Theoretical Computer Science 13:45-60. Elsevier, 1981. 
@article{tcs13()-Pnu,
  author =              {Pnueli, Amir},
  title =               {The Temporal Semantics of Concurrent Programs},
  publisher =           {Elsevier},
  journal =             {Theoretical Computer Science},
  volume =              {13},
  pages =               {45-60},
  year =                {1981},
}
List of authors