Automata-theoretic techniques for modal logics of programs (1986)

by M Y Vardi, P Wolper
Venue:J. of Computer and System Science