Lie groups over non-discrete topological fields
H. Glöckner, (2004).