Backhouse R, Ferreira JF.? 2008.??Recounting the Rationals: Twice!. Mathematics of Program Construction (LNCS 5133).