An efficient implementation of certain iterative refinement preconditioners
S. Petrova, Computing 52 (1994) 51–63.