Temporal and Modal Logic (1990)

by E A Emerson
Venue:Handbook of Theoretical Computer Science