V
[Var95] Moshe Y. Vardi. Alternating Automata and Program Verification. In Jan van Leeuwen (eds.), Computer Science Today: Recent Trends and Developments, Lecture Notes in Computer Science 1000, pages 471-485. Springer-Verlag, 1995. 
@incollection{lncs1000-Var,
  author =              {Vardi, Moshe Y.},
  title =               {Alternating Automata and Program Verification},
  editor =              {van Leeuwen, Jan},
  booktitle =           {Computer Science Today: Recent Trends and
                         Developments},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {1000},
  pages =               {471-485},
  year =                {1995},
}
List of authors