Analysis and algebra on differentiable manifolds : A workbook for students and teachers.