The Haar integral - Nachbin, Leopoldo (Van Nostrand, 1965)