Nagy Antal Mihály (1930-2016)