Temporal logic / - Rescher, Nicholas. (Springer-Verlag, 1971)