IEEE transactions on computers See original record