Software for roundoff analysis of matrix algorithms - Miller, Webb. (Academic Press,)