Redundancy checking for small digital computers. - Richard Wesley Hamming; Sibyl Rock; Arthur L. Samuel; William C. Carter (AIEE-IRE Computer Conference (Eastern), 1954)

Problems in Acceptance Testing of Digital Computers - Paul Brock; Sibyl Rock (J. ACM, 1954)