Differentiable semigroups are Lie groups. Holmes, John P.; Anderson, Mitch — 1995 International Journal of Mathematics and Mathematical Sciences