Temporal and modal logic. In Handbook of theoretical computer science (vol. B): formal models and semantics (1990)

by E A Emerson