1. Automatic verification of finite state concurrent systems using temporal logic specifications: A practical approach;Clarke,1982
2. Decision procedures and expressiveness in temporal logic of branching time;Emerson,1982
3. Propositional dynamic logic of regular programs;Fischer;J. Comput. System Sci.,1979
4. Dynamic logic;Harel,1983
5. Nondeterminism in logics of programs;Harel,1978