Temporal logics and their applications - Galton, Antony (Academic Press, 1987)
περιέχει βιβλιογραφικές αναφορές