Diagonalizing matrices over AW*−algebras - Heunen, C; Reyes, M (Journal of Functional Analysis, 2012)