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