A formalization of floating-point numeric base conversion (1970)

by D W Matula
Venue:IEEE Trans. Computers C-19