De Lucas Martín, J. In Memoriam, Mario Ruiz (1967-2018). CEFD 2019, 261-264.