Remark on Certification of Matrix Inversion Procedures
CACM July, 1963
Moler, C.
