TY  - BOOK
AU  - "Bjorner, Dines"
TI  - Software Engineering
SN  - 8181287851
PB  - 2007
N1  - includes index and biblioraphy
ER  -