The Crystals Associated to Barsotti-Tate Groups: with Applications to Abelian Schemes - Messing, William