TY  - BOOK
AU  - Hayes,Ian
TI  - Specification case studies
T2  - Prentice-Hall international series in computer science
SN  - 0-13-826579-8
AV  - QA76.6.S667 
PY  - 1987///
CY  - New York
PB  - Prentice Hall
KW  - Computer programs
KW  - Specification
ER  -