Vostokova, R.P. and Pital’, P.N. 2020. Arithmetic of hyperbolic formal modules. Vestnik of Saint Petersburg University. Mathematics. Mechanics. Astronomy. 3, 3 (Aug. 2020), 384–392.