TY  - DATA
AU  - Lover,Robert
ED  - SpringerLink (Online service)
TI  - Elementary Logic: For Software Development 
SN  - 9781848000827
PY  - 2008///
CY  - London
PB  - Springer London
KW  - Logic design
KW  - Computer Science
KW  - Logics and Meanings of Programs
UR  - http://dx.doi.org/10.1007/978-1-84800-082-7
ER  -