Real Decreto 3993/1982, de 7 de diciembre, por el que se concede la Gran Cruz de San Hermenemildo al General de Brigada de Infantería, Diplomado de Estado Mayor, don José Torres García.
Publicado en:
«BOE» núm. 24, de 28 de enero de 1983, páginas 2329 a 2330 (2 págs.)