JPRS (series). 60691. Handbook for divers, USSR [with bibliography].

Tools