TY  - BOOK
AU  - MC CONKEY,A.
AU  - TURNER,JOHN
TI  - THE CONSTRUCTION OF FORMAL SPECIFICATIONS / 
U1  - 005.12 
PY  - 1994///
CY  - [S.N] : 
PB  - MC GRAW - HILL ، 
KW  - SOFTWARE ENGINEERING
ER  -