TY  - BOOK
AU  - Banieqbal B
TI  - Temporal logic in specification
SN  - 3-540-51803-7
U1  - 005.131 
PY  - 1989///
CY  - Berlin
PB  - Springer Verlag
KW  - Programming language
KW  - Temporal logic
ER  -