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