Temporal and modal logic (1995)

by E. Allen Emerson
Venue:HANDBOOK OF THEORETICAL COMPUTER SCIENCE