Petty, Thomas L.,1932-