A calculus for S^3-diagrams of manifolds with boundary