Temporal logics and their applications - Galton, Anthony (London : Academic Press, 1987)
57