--- a/src/HOL/Data_Structures/document/root.tex Sun Apr 08 11:05:52 2018 +0200
+++ b/src/HOL/Data_Structures/document/root.tex Sun Apr 08 12:14:00 2018 +0200
@@ -65,6 +65,10 @@
They were invented by Sleator and Tarjan \cite{SleatorT-JACM85}.
Our formalisation follows Schoenmakers \cite{Schoenmakers-IPL93}.
+\paragraph{Join-based BSTs}
+They were invented by Adams \cite{Adams-TR92,Adams-JFP93}
+and analyzed by Blelloch \emph{et al.} \cite{BlellochFS-SPAA16}.
+
\paragraph{Leftist heaps}
They were invented by Crane \cite{Crane72}. A first functional implementation
is due to N\'u\~{n}ez \emph{et al.}~\cite{NunezPP95}.