General topology and homotopy theory - James, I. M. (New York, Springer-Verlag, 1984)