@article{hinze-2018-on, title={On constructing 2-3 trees}, volume={28}, ISSN={1469-7653}, url={http://dx.doi.org/10.1017/s0956796818000187}, DOI={10.1017/s0956796818000187}, journal={Journal of Functional Programming}, publisher={Cambridge University Press (CUP)}, author={HINZE, RALF}, year={2018} }