Chris Okasaki Breadth-first numbering: lessons from a small exercise in algorithm design. 131-136 2000 ICFP http://doi.acm.org/10.1145/351240.351253 db/conf/icfp/icfp2000.html#Okasaki00