TY  - BOOK
AU  - Lover Robert
TI  - Elementary Logic For Software Development
PY  - 2008///
PB  - Springer
ER  -