E
[EC80] E. Allen Emerson and Edmund M. Clarke. Characterizing Correctness Properties of Parallel Programs Using Fixpoints. In ICALP'80, Lecture Notes in Computer Science 85, pages 169-181. Springer-Verlag, July 1980. 
@inproceedings{icalp1980-EC,
  author =              {Emerson, E. Allen and Clarke, Edmund M.},
  title =               {Characterizing Correctness Properties of Parallel
                         Programs Using Fixpoints},
  editor =              {de~Bakker, Jaco W. and van Leeuwen, Jan},
  booktitle =           {{P}roceedings of the 7th {I}nternational
                         {C}olloquium on {A}utomata, {L}anguages and
                         {P}rogramming ({ICALP}'80)},
  acronym =             {{ICALP}'80},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {85},
  pages =               {169-181},
  year =                {1980},
  month =               jul,
}
List of authors