Moshe Y. Vardi, Pierre Wolper. Automata Theoretic Techniques for Modal Logics of Programs (Extended Abstract). In Proceedings of the Sixteenth Annual ACM Symposium on Theory of Computing, 1984, Washington, D.C., USA. pages 446-456, ACM, 1984.
Abstract is missing.