TY  - BOOK
AU  - Hayes Ian Ed.
TI  - Specification case studies
T2  - Prentice-Hall international series in computer science
U1  - D65,8(B)92, M7 
PY  - 1987///
CY  - Englewood
PB  - Cliffs Prentice-Hall        
KW  -  Computer program language
KW  - Computer science
ER  -