1. On TLA as a logic;Abadi,1996
2. Defining liveness;Alpern;Information Processing Letters,1985
3. Effective temporal logics of programs;Andréka,1995
4. Politeness in object societies;Barreiro,1995
5. The use of temporal logic in the compositional specification of concurrent systems;Barringer,1987