An axiomatic basis for quantum mechanics - Ludwig, Gunther, 1918- (Springer-Verlag, 1985)