Datos bibliográficos sobre Hernán Restrepo Duque