Automata theoretic techniques for modal logics of programs (1986)

by M Y Vardi, P Wolper
Venue:J. Comp. Sys. Sci