1. ABRAHAMSON, K., Decidability and expressiveness of logics of processes, Ph.D. Thesis, Univ. of Washington, Seattle, 1980.
2. Defining safety and liveness;ALPERN,1985
3. Limits for automatic verification of finite state systems;APT;Inform. Process. Lett.,1986
4. A theory of programs;DE BAKKER,1969
5. BARRINGER, H., R. KUIPER and A. PNUELI, Now you may compose Temporal Logic specifications, in: Proc. 16th Ann. ACM Symp. on Theory of Computing (1984) 51–63.