p-Adic Lie Groups (A Series of Comprehensive Studies