Automata-Theoretic Techniques in Modal Logics of Programs (1986)

by M Y Vardi, P Wolper
Venue:Journal of Computer and Systems Science