Roland Carl Backhouse João F. Ferreira Recounting the Rationals: Twice!. 79-91 2008 MPC http://dx.doi.org/10.1007/978-3-540-70594-9_6 conf/mpc/2008 db/conf/mpc/mpc2008.html#BackhouseF08