TY  - BOOK
AU  - Turski,Wladyslaw.M.
TI  - The specification of computer programs
SN  - 0201142260
U1  - 004.43 TUR 
CY  - Newyork
PB  - Addison-Wesley
ER  -