TY  - BOOK
AU  - Hatcher,William S
TI  - Reasoning by Computer
N1  - -; -
ER  -