Analysis with an introduction to prof - LAY, Steven R. (Englewood Cliffs Prentice Hall, 1990)