David W. Matula, Peter Kornerup: An order preserving finite binary encoding of the rationals. IEEE Symposium on Computer Arithmetic 1983: 201-209