Diving manual, 1956 - United States. Navy Department (Washington : Government Printing Office, 1916)