TY  - BOOK
AU  - Kroger, Fred
TI  - Temporal logic of programs
N1  - D6,8(B) M72
ER  -