Temporal logics and their applications - Galton Antony (London Academic Press, 1987)
Keywords: Computer science; Temporal logic