Temporal and Modal Logic (1990)

by E Emerson
Venue:Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics