Robert Ward: "Probablistic roundoff error analysis and the matrix exponential"