Thomas, Robert K. (Robert Kedzie), 1918-1998