Introduction to fibre bundles. - Porter Richard D (1977)