TY  - BOOK
ED  - International workshop on software specification and design (4:california:1987)
TI  - Software specification and design
SN  - 0818607696
U1  - 005.133 
PY  - 1987///
CY  - California
PB  - IEEE
ER  -