M. Torres Aguilar, «Jubilación del profesor García Marín», AHDE, n.º 86, dic. 2016.