Marty, Martin E. (1928 –)