@unpublished{BraunRem,author={W. Braun and Martin Rem},
title="A logarithmic implementation of flexible arrays",
note="Memorandum MR83/4. Eindhoven University of Techology",year=1983}

@inproceedings{Hoogerwoord,author={Rob R. Hoogerwoord},
title="A logarithmic implementation of flexible arrays",
editor={R. Bird and C. Morgan and J. Woodcock},
booktitle={Mathematics of Program Construction, Second International Conference},
publisher={Springer},series={LNCS},volume=669,year=1992,
pages={191-207}}

@book{Paulson,author={Lawrence C. Paulson},
title={ML for the Working Programmer},edition="2nd",
publisher={Cambridge University Press},year=1996}