TEMPORAL LOGIC OF PROGRAMS. - KROGER, FRED. (SPRINGER-VERLAG, 1987)