TY  - BOOK
AU  - Bjørner,Dines
TI  - Software engineering 2: specification of systems and languages 
SN  - 3540211500
PY  - 2006///
CY  - Berlin
PB  - Springer
KW  - Software engineering
KW  - Computer programming
ER  -