Text this: Índice de nombres latinos de ciudades con imprenta, de José Ignacio Mantecón: una herramienta del pasado para el futuro