Source data found1. Boletín oficial del Ministerio de Defensa: Año VII Número 79 - 1991 abril 23 (Cejudo Díaz, Ildefonso. Fecha de nacimiento: 03/06/1955)
2. Medicina militar, Vol. 41, n. 1 (1er trimestre 1985) Página 37 (Ildefonso Cejudo Díaz. Capitanes Médicos)