Temporal and modal logic (1990)

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