Homenaje a Antonio Tovar: ofrecido por sus discípulos, colegas y amigos (Gredos, 1972)