M
[MP91] Zohar Manna and Amir Pnueli. Completing the Temporal Picture. Theoretical Computer Science 83(1):91-130. Elsevier, 1991. 
@article{tcs83(1)-MP,
  author =              {Manna, Zohar and Pnueli, Amir},
  title =               {Completing the Temporal Picture},
  publisher =           {Elsevier},
  journal =             {Theoretical Computer Science},
  volume =              {83},
  number =              {1},
  pages =               {91-130},
  year =                {1991},
}
List of authors