Informal report IR (series). 70-22. Correlation signal processing for depth sounding [with bibliographies: by George J. Moss, jr. and George M. Walsh].