Introduction to abstract analysis. - Light W A (1990)