Derivation of Hilbert space structure. - Ludwig, Guenther (Ludwig: An axiomatic Basis for quantum mechanics, 1985)