On the homotopy type of the classifying space of the exceptional Lie group \(F_4\)
scientific article; zbMATH DE number 1801601