\begin{thebibliography}{1}

\providecommand{\natexlab}[1]{#1}
\providecommand{\url}[1]{\texttt{#1}}
\providecommand{\urlprefix}{URL }
\providecommand{\eprint}[2][]{\url{#2}}

\bibitem[{Tronci}(1995)]{Tronci1995} Enrico Tronci. "Defining Data Structures via B{\~A}{\textparagraph}hm-Out." \textit{J. Funct. Program.} 5, no. 1 (1995): 51--64. DOI: 10.1017/S0956796800001234.

\end{thebibliography}

