TY  - BOOK
AU  - Aho,Alfred V.
TI  - Foundations of computer science 
SN  - 0716782847
U1  - 004 
PY  - 1995///
CY  - New York 
PB  - Computer Science Press
KW  - Computer science
KW  - Computer program language
KW  - Predicate logic
KW  - Data modules
KW  - Using logic
KW  - Algebra
KW  - FC
ER  -