BuDocks technical digest, design construction, maintenance and operation of Navy's Shore Establishments.