TY  - BOOK
AU  - Bjorner, D
TI  - Software engineering 2: specification of systems and languages 
SN  - 9 788181 287854
U1  - 004.41 
PY  - 2007///
CY  - New Delhi
PB  - Springer
ER  -