Theatro angelopolitano / Diego Antonio Bermúdez de Castro ; introd., comp. y notas Ernesto de la Torre Villar - Bermúdez de Castro, Diego Antonio, 1692-1746 (Biblioteca del estudiante universitario ; 113)