V
[VW86] Moshe Y. Vardi and Pierre Wolper. Automata Theoretic Techniques for Modal Logics of Programs. Journal of Computer and System Sciences 32(2):183-221. Academic Press, April 1986. 
@article{jcss32(2)-VW,
  author =              {Vardi, Moshe Y. and Wolper, Pierre},
  title =               {Automata Theoretic Techniques for Modal Logics of
                         Programs},
  publisher =           {Academic Press},
  journal =             {Journal of Computer and System Sciences},
  volume =              {32},
  number =              {2},
  pages =               {183-221},
  year =                {1986},
  month =               apr,
}
List of authors