Introduction to the theory of error-correcting codes. - Pless Vera (1982)