Manual on diving. (Educational Productions, 1963)