Instituto de Investigaciones Dr. José María Luis Mora. Biblioteca.