TY  - BOOK
AU  - GAJSKI, D. DANIEL.
TI  - SPECIFICATION LANGUAGE AND METHODOLOGY
U1  - 005.133 
PY  - 2000///
CY  - NEW YORK
PB  - SPRINGER
ER  -