Henderson, Michael, 1932-