W
[WVS83] Pierre Wolper, Moshe Y. Vardi, and A. Prasad Sistla. Reasoning about Infinite Computation Paths. In FOCS'83, pages 185-194. IEEE Comp. Soc. Press, November 1983. 
@inproceedings{focs1983-WVS,
  author =              {Wolper, Pierre and Vardi, Moshe Y. and Sistla, A.
                         Prasad},
  title =               {Reasoning about Infinite Computation Paths},
  booktitle =           {{P}roceedings of the 24th {A}nnual {S}ymposium on
                         {F}oundations of {C}omputer {S}cience ({FOCS}'83)},
  acronym =             {{FOCS}'83},
  publisher =           {IEEE Comp. Soc. Press},
  pages =               {185-194},
  year =                {1983},
  month =               nov,
}
List of authors