Kazuya Kato, Nobushige Kurokawa, Takeshi Saito ; translated from the Japanese by Masato Kuwata ; in cooperation with Katsumi Nomizu. -- American Mathematical Society, c2011. -- (Translations of mathematical monographs ; v. 240 . Number theory ; 2)(Iwanami series in modern mathematics).