TY  - BOOK
TI  - Software Specification Techniques
U1  - 001.6425 SOF 
PY  - 1986///
PB  - Addison-Wesley Pub.Co.
ER  -