Temporal logic. Vol. 2. Mathematical foundations and computational aspects. (English) Zbl 1014.03006
Oxford Logic Guides. 40. New York, NY: Oxford University Press. xiv, 597 p. (2000).