A. Avizienis and C. S. Raghavendra, "Applications for Arithmetic Error Codes in Large, High-Performance Computers", Proceedings of the 6th IEEE Symposium on Computer Arithmetic, Aarhus University, Aarhus, Denmark, June 20-22, 1983