TY  - BOOK
AU  - Gries, David
TI  - The science of programming
SN  - 8185015422
CY  - New Delhi
KW  - Computer
KW  - Computer numerical control
KW  - Reasoning equivalence
KW  - Semantics small language
ER  -