TY  - BOOK
AU  - Dines Bjorner
TI  - Software Engineering
SN  - 0000050342
U1  - 1.6425 
PY  - 2006///
CY  - New York
PB  - Springer
KW  -  Software
KW  - Engineering
KW  - Software Engineering
ER  -