Tarjan, Robert E. (Robert Endre), 1948-