V
[Var96] Moshe Y. Vardi. An Automata-Theoretic Approach to Linear Temporal Logic. In Banff'94, Lecture Notes in Computer Science 1043, pages 238-266. Springer-Verlag, 1996. 
@inproceedings{banff1994-Var,
  author =              {Vardi, Moshe Y.},
  title =               {An Automata-Theoretic Approach to Linear Temporal
                         Logic},
  editor =              {Moller, Faron and Birtwistle, Graham M.},
  booktitle =           {{L}ogics for {C}oncurrency, {S}tructure versus
                         {A}utomata: {P}roceedings of the 8th {B}anff
                         {H}igher {O}rder {W}orkshop ({B}anff'94)},
  acronym =             {{B}anff'94},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {1043},
  pages =               {238-266},
  year =                {1996},
  confyear =            {1994},
  confmonth =           {8-9},
}
List of authors