BuDocks technical digest, construction, maintenance & operation of Navy's Shore Establishment.