Purely Functional 1-2 Brother Trees - Hinze, R (2009)