М.В. Бондарко. Формальные группы и модули Картье; групповые схемы и абелевы многообразия.