--- 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}