Vitalsource Technologies, Inc. Arithmetic Compactifications Of Pel-type Shimura Varieties