A proof that Reed-Muller codes achieve Shannon capacity on symmetric channels | IEEE Conference Publication | IEEE Xplore