Locally convex spaces over non archimedean valued fields - Gracia, Ferez C (2010)