L
[LPZ85] Orna Lichtenstein, Amir Pnueli et Lenore D. Zuck. The Glory of the Past. In CLP'85, Lecture Notes in Computer Science 193, pages 413-424. Springer-Verlag, juin 1985. 
@inproceedings{clp1985-LPZ,
  author =              {Lichtenstein, Orna and Pnueli, Amir and Zuck, Lenore
                         D.},
  title =               {The Glory of the Past},
  editor =              {Parikh, Rohit},
  booktitle =           {Proceedings of the Conference on Logics of Programs
                         ({CLP}'85)},
  acronym =             {{CLP}'85},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {193},
  pages =               {413-424},
  year =                {1985},
  month =               jun,
}
Liste des auteurs