V
[Var88] Moshe Y. Vardi. A Temporal Fixpoint Calculus. In POPL'88, pages 250-259. ACM Press, January 1988. 
@inproceedings{popl1988-Var,
  author =              {Vardi, Moshe Y.},
  title =               {A Temporal Fixpoint Calculus},
  booktitle =           {Conference Record of the 15th {ACM} {S}ymposium on
                         {P}rinciples of {P}rogramming {L}anguages
                         ({POPL}'88)},
  acronym =             {{POPL}'88},
  publisher =           {ACM Press},
  pages =               {250-259},
  year =                {1988},
  month =               jan,
}
List of authors