The crystals associated to Barsotti-Tate groups: with applications to Abelian Schemes - Messing, William (Lecture notes in mathematics ; LNM ;, 1972)