SafonovV. G. On the Modularity of a Lattice of τ-Closed Totally Saturated Formations of Finite Groups. Ukr. Mat. Zhurn. 2006, 58, 852–858.