TY  - BOOK
AU  - Hayes, Ian
AU  - Hayes, Ian
TI  - Specification Case Studies
SN  - 0-13-826579-8
U1  - 001.6 
PY  - 1987///
CY  - London
PB  - Prentice Hall
ER  -