TY  - BOOK
AU  - Manna Zohar
AU  -  Waldinger Richard
TI  - Logical basis for computer programming
T2  - Addison-Wesley series in computer sciences
U1  - D65,8(B)92, M5.2 
PY  - 1985///
CY  - Reading
PB  - Addison-Wesley Pub        
KW  -  Computer program language
KW  - Computer science
N1  - Bibliography 579-581p
ER  -