Boletín oficial del Ministerio de Defensa. Diario oficial de Marina: Año LXXIII Número 225 - 1980 septiembre 30