I wish I could find the part written by J.E. Robertson. I took several graduate level courses from him as an undergraduate in the mid '60s. He became the world expert on division. He found that if you recoded to the redundant base -1, 0, 1 then number encodings could be found that had lots of zeros which he could optimize over and speed the division up. There were other sequential configurations he did special things with as well. You wouldn't believe the amount of theory he deduced from studying the redundant encoding problem and its application. The result was SRT division. He was the R and I can't remember who S and T were.

SRT division was implemented in the Illiac II.