TY  - BOOK
AU  - DERI SHEPPARD
TI  - AN INTRODUCTION TO FORMAL SPECIFICATION WITH Z AND VDM
SN  - 0077079078
U1  - 005.1015 
PB  - MCGRAW HILL BOOK COMPANY
KW  - COMPUTER SCIENCE
KW  - SOFTWARE ENGINEERING
ER  -