TY  - BOOK
AU  - KROGER,FRED
TI  - TEMPORAL LOGIC OF PROGRAMS
SN  - KBCS
U1  - 719 
PY  - 1987///
CY  - BERLIN
PB  - SV
ER  -