Temporal logic of programs: a standard approach

[1]  Martín Abadi,et al.  The Power of Temporal Proofs , 1989, Theor. Comput. Sci..