Temporal and modal logic. Handbook of Theoretical (1995)

by A Emerson