Analysis of the Pope-Stein Division Algorithm - Collins, G.E.; Musser, D.R. (University of Wisconsin-Madison Department of Computer Sciences, 1969)