DUMAND-80 : proceedings of the 1980 International DUMAND Symposium, July 24 - August 2, Hawaii-DUMAND Center - Stenger, Victor J., 1935- (Hawaii DUMAND-Center, 1981)