On the equivalence between propelinear and binary G-linear codes | IEEE Conference Publication | IEEE Xplore