Computer Arithmetic and Validity

Bibliography

Accessible
Requires Authentication
De Gruyter | 2012