--- a/src/HOL/Data_Structures/document/root.bib Wed Nov 18 08:54:58 2015 +0100
+++ b/src/HOL/Data_Structures/document/root.bib Wed Nov 18 10:12:37 2015 +0100
@@ -13,3 +13,7 @@
@article{SleatorT-JACM85,author={Daniel D. Sleator and Robert E. Tarjan},
title={Self-adjusting Binary Search Trees},journal={J. ACM},
volume=32,number=3,pages={652-686},year=1985}
+
+@misc{Turbak230,author={Franklyn Turbak},
+title={{CS230 Handouts --- Spring 2007}},year=2007,
+note={\url{http://cs.wellesley.edu/~cs230/spring07/handouts.html}}}