Hilbert space (New York, NY: Cambridge University Press, 1993)