Marty, Martin E. (1928-)