. F. J. de Lucas Martín, «In memoriam Mario Ruiz Sanz (1967-2018)», AFD, n.º 34, pp. 487–494, dic. 2018.