TY  - BOOK
AU  - Gries,David
TI  - The science of programming
T2  - Texts and Monographs in Computer Science
SN  - 9780387964805
PY  - 1981///
CY  - Nueva York
PB  -  Springer
KW  - LÓGICA
KW  - PROGRAMACIÓN
KW  - SEMÁNTICA
N1  - Incluye índice y bibliografía
ER  -