The Haar integral / by Leopoldo Nachbin and George Eastman. Huntington, NY : Krieger, 1976