Balancing Lists: A Proof Pearl.

Guyslain Naves, Arnaud Spiwack

Browse the full ITP paper archive.