Richard S. Bird Unfolding pointer algorithms. 347-358 2001 11 J. Funct. Program. 3 db/journals/jfp/jfp11.html#Bird01