The Big Book of Marine Electronics A User's Guide Frederick Graves 1985