Stochastic Reformulations of Linear Systems: Algorithms and Convergence Theory - Richtárik, Peter; Takáč, Martin (SIAM journal on matrix analysis and applications, 2020)