TY  - BOOK
AU  - Bjorner D
TI  - Software engineering .3V
U1  - D6,8(B),2, P6.1-.3 
PY  - 2006///
CY  - New Delhi
PB  - Springer      
ER  -