Quantum mechanics in Hilbert spaces - Prugovecki Eduard (1971)