Real Decreto 173/1985, de 12 de febrero por el que se destina a la Intervención General del Ministerio de Defensa al General Interventor del Ejército don José de Campos Setién.

Fuente: Boletin Oficial del Estado (BOE) Nº 39 del Jueves 14 de Febrero de 1985. Autoridades y personal, Ministerio De Defensa.