TY  - BOOK
AU  - Mili,Ali
AU  - Boudriga,Noureddine
AU  - Mili,Fatma
TI  - Towards structured specifying : theory, practice, applications
SN  - 074580697X
U1  - QA/76.6 
PY  - 1989///
CY  - Chichester
PB  - Ellis Horwood Ltd.
KW  - Computer program -- Design.
ER  -