Lucas Martín, . F. J. de. In Memoriam Mario Ruiz Sanz (1967-2018). AFD 2018, 487-494.