<filename>xdocs/user-guide/plugins/memory/src/biblio.tex
\addcontentsline{toc}{section}{\numberline{}Bibliography}
\begin{thebibliography}{99}

\bibitem{freericks}
M.~Freericks.
\emph{The nML Machine Description Formalism}.
Technical Report TR SM-IMP/DIST/08, TU Berlin CS Department, 1993.

\end{thebibliography}
