Temporal and Modal Logics (1990)

by E Emerson
Venue:Handbook of Theoretical Computer Science, volume B, chapter 16