JPRS (series). 60183. Gyrostabilized marine gravimeter [excerpts with bibliography; edited by Ye. I. Popov].

Tools