Books about Nautical instruments -- History (sorted alphabetically)