TY  - BOOK
AU  - RATCLIFF,BRYAN
TI  - INTRODUCING SPECIFICATION USING Z: A PRACTICAL CASE STUDY APPROACH / 
U1  - 005.12 
PY  - 1993///
CY  - [S.N] : 
PB  - MC GRAW - HILL ، 
KW  - Z (COMPUTER PROGRAM LANGUAGE)
ER  -