E
[EH83] E. Allen Emerson et Joseph Y. Halpern. "Sometimes" and "Not Never" Revisited: On Branching versus Linear Time. In POPL'83, pages 127-140. ACM Press, janvier 1983. 
@inproceedings{popl1983-EH,
  author =              {Emerson, E. Allen and Halpern, Joseph Y.},
  title =               {{"}{S}ometimes{"} and {"}Not Never{"} Revisited:
                         On~Branching versus Linear Time},
  booktitle =           {Conference Record of the 10th {ACM} {S}ymposium on
                         {P}rinciples of {P}rogramming {L}anguages
                         ({POPL}'83)},
  acronym =             {{POPL}'83},
  publisher =           {ACM Press},
  pages =               {127-140},
  year =                {1983},
  month =               jan,
}
Liste des auteurs