Feodor S. Vainstein
-
Reflections on the Pentium Division Bug
IEEE Transactions on Computers
Software reliability via run-time result-checking
Journal of the ACM (JACM)