IEEE transactions on computers (IEEE Computer Society, 1952)