Introduction to Hilbert spaces with applications. (1990)