X-Git-Url: https://git.distorted.org.uk/~mdw/sod/blobdiff_plain/d892b0c37404b40ef9f80c755e4fcb743e44c22d..1edb774eed8bea3f6dbde5b02db6ecd209394cf8:/doc/concepts.tex diff --git a/doc/concepts.tex b/doc/concepts.tex index 68780e2..8e774fe 100644 --- a/doc/concepts.tex +++ b/doc/concepts.tex @@ -159,8 +159,8 @@ following properties are expected to hold. list, i.e., $B$ is a more specific superclass of $C$ than $A$ is. \end{itemize} The default linearization algorithm used in Sod is the \emph{C3} algorithm, -which has a number of good properties described in~\cite{Barrett:1996:MSL}. -It works as follows. +which has a number of good properties described +in~\cite{barrett-1996:monot-super-linear-dylan}. It works as follows. \begin{itemize} \item A \emph{merge} of some number of input lists is a single list containing each item that is in any of the input lists exactly once, and no @@ -263,8 +263,9 @@ It works as follows. \end{itemize} - (This example combines elements from \cite{Barrett:1996:MSL} and - \cite{Ducournau:1994:PMM}.) + (This example combines elements from + \cite{barrett-1996:monot-super-linear-dylan} and + \cite{ducournau-1994:monot-multip-inher-linear}.) \end{example} \subsubsection{Class links and chains}