Positiv definite Funktionen auf einem unendlich dimensionalen Vektorraum - Waldenfels, Wilhelm von (Studia mathematica <Warszawa>, 1968)