TY  - BOOK
AU  - Kroger,Fred
TI  - Temporal logic of programs
SN  - 0387170308 (U.S.)
U1  - 005.13/1 19
PY  - 1987///
CY  - Berlin, New York
PB  - Springer-Verlag
KW  - Computer programming
KW  - Logic, Symbolic and mathematical
N1  - Includes index; Bibliogr.: p. 143-146
ER  -