Datos bibliográficos sobre Restrepo Rivera, José