Global differential geometry (Mathemat. Assoc. of America, 1989)