Infinite dimensional Lie transformation groups - Omori, Hideki 1938- (Springer, 1964)