Smooth compactification of locally symmetric varieties (Math Sci Press, 1975)