TY  - BOOK
AU  - Gehani McGettrick Andrew eds
TI  - Software specification techniques
SN  - 0-20-14230-9
U1  - 005.14 
PY  - 1986///
CY  - Wokingham
PB  - Addison Wesley
KW  - Software techniques
ER  -