TY  - BOOK
AU  - Bjorner
TI  - Software Engineering
PY  - 2007///
CY  - New Delhi
PB  - Springer
ER  -