Aho, A. V., Hopcroft, J. E. & Ullman, J. D. (1974) The Design and Analysis of Computer Algorithms. Addison-Wesley Publishing Company.
Braun, W. & Rem, M. (1983) A Logarithmic Implementation of Flexible Arrays. Memorandum MR83/4, Eindhoven University of Technology.
Hinze, R. (1999) Constructing red-black trees. In Proceedings of the Workshop on Algorithmic Aspects of Advanced Programming Languages (WAAAPL’99), Okasaki, C. (ed), pp. 89–99. The proceedings appeared as a technical report of Columbia University, CUCS-023-99.
Hinze, R. (2001) Manufacturing datatypes. J. Funct. Program. 11(5), 493–524.
Hinze, R. (2009) Functional Pearl: Purely functional 1-2 brother trees. J. Funct. Program. 19(6), 633–644.
Hinze, R. & Paterson, R. (2006) Finger trees: A simple general-purpose data structure. J. Funct. Program. 16(2), 197–217.
Hoffmann, C. M. & O’Donnell, M. J. (1982) Programming with equations. ACM Trans. Program. Lang. Syst. 4(1), 83–112.
Okasaki, C. (1997) Functional Pearl: Three algorithms on Braun trees. J. Funct. Program. 7(6), 661–666.
Okasaki, C. (1998) Purely Functional Data Structures. Cambridge University Press.