Martín de Riquer, cervantista | Publicación