TY  - BOOK
AU  - Bjorner, D
TI  - Software engineering 1: abstraction and modelling 
SN  - 9 788181 287847
U1  - 004.41 
PY  - 2007///
CY  - New Delhi
PB  - Springer
ER  -