src/HOL/Data_Structures/document/root.tex
changeset 61697 0753dd4c9144
parent 61525 87244a9cfe40
child 61784 21b34a2269e5
     1.1 --- a/src/HOL/Data_Structures/document/root.tex	Wed Nov 18 08:54:58 2015 +0100
     1.2 +++ b/src/HOL/Data_Structures/document/root.tex	Wed Nov 18 10:12:37 2015 +0100
     1.3 @@ -42,7 +42,8 @@
     1.4  Kahrs \cite{Kahrs-html,Kahrs-JFP01}.
     1.5  
     1.6  \paragraph{2-3 trees}
     1.7 -The function definitions are based on the teaching material by Franklyn Turbak.
     1.8 +The function definitions are based on the teaching material by
     1.9 +Turbak~\cite{Turbak230}.
    1.10  
    1.11  \paragraph{Splay trees}
    1.12  They were invented by Sleator and Tarjan \cite{SleatorT-JACM85}.