The Theory of Error-Correcting Codes