Smooth Compactifications Of Locally Symmetric Varieties by David Mumford, Avner Ash & Michael Rapoport