TY  - BOOK
AU  - Turski Wladyslaw M
AU  -  Maibaum Thomas S E
TI  - Specification of computer program
T2  - International computer science series
U1  - D65,8(B)92, M8 
PY  - 1988///
CY  - Workingham
PB  - Addison-Wesley         
KW  -  Computer programme language
KW  - Computer science
ER  -