A convergence proof for the turbo decoder as an instance of the gauss-seidel iteration | IEEE Conference Publication | IEEE Xplore