Manuel y del Río, Miguel de, ed. lit.