IRE Transactions on Electronic Computers (Institute of Radio Engineers, 1952)