Q
[QS82] Jean-Pierre Queille and Joseph Sifakis. A Temporal Logic to Deal with Fairness in Transition Systems. In FOCS'82, pages 217-225. IEEE Comp. Soc. Press, November 1982. 
@inproceedings{focs1982-QS,
  author =              {Queille, Jean-Pierre and Sifakis, Joseph},
  title =               {A~Temporal Logic to Deal with Fairness in Transition
                         Systems},
  booktitle =           {{P}roceedings of the 23rd {A}nnual {S}ymposium on
                         {F}oundations of {C}omputer {S}cience ({FOCS}'82)},
  acronym =             {{FOCS}'82},
  publisher =           {IEEE Comp. Soc. Press},
  pages =               {217-225},
  year =                {1982},
  month =               nov,
}
List of authors