Although the original thing never got published, a different paper analyzing the algorithm (and confirming it gives correctly rounded results) was, in 1992: https://bpb-us-e1.wpmucdn.com/websites.uta.edu/dist/7/5059/files/2021/06/csd-94-850.pdf
it also gives more of an explanation why it works, the...