TY  - BOOK
AU  - Bjorner,D.
TI  - Software engineering 2 : specification of systems and languages / 
SN  - 9783540211501
U1  - 005.1 
PY  - 2007///
CY  - NewYork : 
PB  - Springer , 
KW  - COMPUTER SCIENCE
N1  - Includes indes and bibliographical reference
ER  -