Formal derivation of an efficient parallel 2-D Gauss-Seidel method | IEEE Conference Publication | IEEE Xplore