Mixed precision error correction methods for linear systems: convergence analysis based on Krylov subspace methods - Anzt, Hartwig; Heuveline, Vincent; Rocker, Björn (Preprint series of the Engineering Mathematics and Computing Lab (EMCL), 2010)