E
[Eme90] E. Allen Emerson. Temporal and Modal Logic. In Jan van Leeuwen (eds.), Handbook of Theoretical Computer Science. Elsevier, 1990. 
@incollection{HTCSb1990-Eme,
  author =              {Emerson, E. Allen},
  title =               {Temporal and Modal Logic},
  editor =              {van Leeuwen, Jan},
  booktitle =           {Handbook of Theoretical Computer Science},
  publisher =           {Elsevier},
  volume =              {B},
  pages =               {995-1072},
  chapter =             {16},
  year =                {1990},
}
Liste des auteurs