An Axiomatic Basis For Quantum Mechanics Vol-1 - Ludwig Gunther (New York Springer Verlag, 1985)