An axiomatic basis for quantum mechanics. - Ludwig, Günther, 1918- (Springer-Verlag, 1985)