TY  - BOOK
AU  - Bjørner,D.
TI  - Software engineering 1: abstracting and modelling 
SN  - 3540211497
PY  - 2006///
CY  - Germany
PB  - Springer
KW  - Software engineering
KW  - Computer programming
N1  - Includes bibliographical references and index
ER  -