1. Numerical validation of solutions of saddle point matrix equations;Chen;Numer. Linear Algebra Appl.,2003
2. K. Hashimoto, A preconditioned method for saddle point problems, MHF Preprint Series, MHF 2007-6, 2007. http://www2.math.kyushu-u.ac.jp/coe/report/pdf/2007-6.pdf.
3. Validated solution of saddle point linear systems;Kimura;SIAM J. Matrix Anal. Appl.,2009
4. Topics in Matrix Analysis;Horn,1994
5. Accuracy and Stability of Numerical Algorithms;Higham,2002