Active lattices determine AW*−algebras - Heunen, C; Reyes, M (2014)