E
[EC82] E. Allen Emerson and Edmund M. Clarke. Using Branching Time Temporal Logic to Synthesize Synchronization Skeletons. Science of Computer Programming 2(3):241-266. North-Holland, December 1982. 
@article{scp2(3)-EC,
  author =              {Emerson, E. Allen and Clarke, Edmund M.},
  title =               {Using Branching Time Temporal Logic to Synthesize
                         Synchronization Skeletons},
  publisher =           {North-Holland},
  journal =             {Science of Computer Programming},
  volume =              {2},
  number =              {3},
  pages =               {241-266},
  year =                {1982},
  month =               dec,
}
List of authors