The group J_4 × J_4 is recognizable by spectrum - I. B. Gorshkov; N. V. Maslova (2019)