C
[CE82] Edmund M. Clarke and E. Allen Emerson. Design and Synthesis of Synchronization Skeletons using Branching-Time Temporal Logic. In LOP'81, Lecture Notes in Computer Science 131, pages 52-71. Springer-Verlag, 1982. 
@inproceedings{lop1981-CE,
  author =              {Clarke, Edmund M. and Emerson, E. Allen},
  title =               {Design and Synthesis of Synchronization Skeletons
                         using Branching-Time Temporal Logic},
  editor =              {Kozen, Dexter C.},
  booktitle =           {{P}roceedings of the 3rd {W}orkshop on {L}ogics of
                         {P}rograms ({LOP}'81)},
  acronym =             {{LOP}'81},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {131},
  pages =               {52-71},
  year =                {1982},
  confyear =            {1981},
  confmonth =           {5},
  doi =                 {10.1007/BFb0025774},
}
List of authors