IEEE transactions on computers (1972)