Introduction to the theory of formal groups. - Dieudonne J (1973)