Error detecting and error correcting codes (1950)