IEEE design and test of computers See original record