A.: Temporal and Modal Logic. Handbook of Theoretical (1990)

by E Emerson
Venue:B: Formal Models and Semantics