Mitrovits, M. Profesor István Lagzi (17 VII 1942 – 5 VIII 2022). DN 2023, 55, 247-249.