Temporal and modal logic (1990)

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