By studying the degeneration of abelian varieties with PEL structures, this book explains the compactifications of smooth integral models of all PEL-type Shimura varieties, providing the logical foundation for several exciting recent developments. The book is designed to be accessible to graduate students who have an understanding of schemes and ab