Convergence of a mixed method for a semi-stationary compressible Stokes system