TY  - RPRT
TI  - Computation on finite machines
AU  - Savage, J. E.
PY  - 1971
UR  - https://ntrs.nasa.gov/citations/19710016393
ID  - 19710016393
ER  -