B
[BPM83] Mordechai Ben-Ari, Amir Pnueli et Zohar Manna. The Temporal Logic of Branching Time. Acta Informatica 20:207-226. Springer-Verlag, 1983. 
@article{acta20()-BPM,
  author =              {Ben{-}Ari, Mordechai and Pnueli, Amir and Manna,
                         Zohar},
  title =               {The Temporal Logic of Branching Time},
  publisher =           {Springer-Verlag},
  journal =             {Acta Informatica},
  volume =              {20},
  pages =               {207-226},
  year =                {1983},
}
Liste des auteurs