Matrix analysis. - Horn Roger A; Johnson Charles R (1985)