TY  - BOOK
AU  - Galton A Ed.
TI  - Temoral logics and their applications
U1  - D65,8(B):(R), M7 
PY  - 1987///
CY  - London
PB  - Academic Press        
ER  -