Automata theoretic techniques for modal logics of programs (extended abstract)Moshe Y. VardPierre Wolper1984STOC 1984