TY  - BOOK
AU  - GRADY BOOCH RAMBAUGH
TI  - THE VERIFIED MODELLING LANGUAGE
PY  - 2003///
CY  - NULL
PB  - PEARSON EDUCATION
KW  - COMPUTER SCIENCE
ER  -