С. В. Востоков, «Явные конструкции и арифметика числовых локальных полей», Математика, т. 4, вып. 3, сс. 402–435, авг. 2020.