TY  - BOOK
AU  - Kuke Roger Ed.
AU  -  Rose Gordon Ed.
TI  - Formal object-oriented specification using object-z
U1  - D6,8(B2897), P0 
PY  - 2000///
ER  -