Computer Arithmetic and Validity

Appendix B. On homomorphism

Accessible
Requires Authentication
De Gruyter | 2012