TY  - BOOK
AU  - Turski,Wladyslaw M.And Maibaum,Thomas S.E.
TI  - The Specification Of Computer Programs
U1  - 001.6425 TUR 
PY  - 1987///
PB  - Addison-Wesley Publishing Company.
ER  -