Jiménez García, A. Luis Jiménez Moreno (1929-2007). In Memoriam. EN 2008, 217-233.