Jeremy Gibbons David Lester Richard S. Bird Functional Pearl: Enumerating the rationals. 281-291 2006 16 J. Funct. Program. 3 http://dx.doi.org/10.1017/S0956796806005880 db/journals/jfp/jfp16.html#GibbonsLB06