B
[BPM81] Mordechai Ben-Ari, Amir Pnueli et Zohar Manna. The Temporal Logic of Branching Time. In POPL'81, pages 164-176. ACM Press, janvier 1981. 
@inproceedings{popl1981-BPM,
  author =              {Ben{-}Ari, Mordechai and Pnueli, Amir and Manna,
                         Zohar},
  title =               {The Temporal Logic of Branching Time},
  booktitle =           {Conference Record of the 8th {ACM} {S}ymposium on
                         {P}rinciples of {P}rogramming {L}anguages
                         ({POPL}'81)},
  acronym =             {{POPL}'81},
  publisher =           {ACM Press},
  pages =               {164-176},
  year =                {1981},
  month =               jan,
}
Liste des auteurs