Manuel Blum Hal Wasserman Reflections on the Pentium Bug. 385-393 1996 45 IEEE Trans. Computers 4 db/journals/tc/tc45.html#BlumW96