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