TY  - BOOK
AU  - BOWEN,JONATHAN
TI  - FORMAL SPECIFICATION AND DOUMENTATION USING 2.1 CASE STUDY APPROACH
PB  - THOMSON PUB
KW  - Computer Science
KW  - USING 2.1 CASE STUDY APPROACH
ER  -