D.C. 1962 Symposium on Redundancy Techniques for Computing Systems Washington