Anne Canteaut Pascale Charpin Hans Dobbertin Binary m-sequences with three-valued crosscorrelation: A proof of Welch's conjecture. 4-9 2000 46 IEEE Transactions on Information Theory 1 db/journals/tit/tit46.html#CanteautCD00