Arturo Juan Rodríguez Sevilla, Translator