diff -r 9dabb405a3ba -r 22fe10b4c0c6 src/HOL/Data_Structures/document/root.bib
--- a/src/HOL/Data_Structures/document/root.bib	Sat Oct 06 20:49:40 2018 +0200
+++ b/src/HOL/Data_Structures/document/root.bib	Sun Oct 07 16:28:38 2018 +0200
@@ -28,6 +28,10 @@
   year      = {2016}
 }
 
+@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}
+
 @phdthesis{Crane72,author={Clark A. Crane},
 title={Linear Lists and Prorty Queues as Balanced Binary Trees},
 school={Computer Science Department, Stanford University},year=1972}
@@ -42,6 +46,13 @@
 title={Programming with Equations},journal={{ACM} Trans. Program. Lang. Syst.},
 volume=4,number=1,pages={83--112},year=1982}}
 
+@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}}
+
 @article{Kahrs-JFP01,author={Stefan Kahrs},title={Red-Black Trees with Types},
 journal={J. Functional Programming},volume=11,number=4,pages={425-432},year=2001}