TEMPORAL LOGIC OF PROGRAMS - KROGER,FRED (SV BERLIN, 1987)