Institute of Radio Engineers. Professional Group on Electronic Computers