On the equivalence of homotopy commutative squares
scientific article; zbMATH DE number 6061488