1. E. Anderson Z. Bai J. Demmel J. E. Dongarra J. DuCroz A. Greenbaum S. Hammarling A. E. McKenney S. Ostrouchov and D. Sorensen. 1992. LAPACK Users’ Guide . SIAM Philadelphia.
2. P. Bientinesi. 2006. Mechanical Derivation and Systematic Analysis of Correct Linear Algebra Algorithms . Ph.D. thesis. Department of Computer Sciences The University of Texas. Technical Report TR-06-46.
3. Goal-Oriented and Modular Stability Analysis
4. The science of deriving dense linear algebra algorithms