Biblioteca Cientifica del Observatorio de San Miguel (Observatorio de San Miguel, 1935)