\begin{thebibliography}{1}

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

\bibitem[{Coppo et~al.}(2003){Coppo, Dezani-Ciancaglini, Giovannetti \& Salvo}]{Coppo_etal2003} Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, and Ivano Salvo. "Mobility Types for Mobile Processes in Mobile Ambients." \textit{Electr. Notes Theor. Comput. Sci.} 78 (2003). DOI: 10.1016/S1571-0661(04)81011-9.

\end{thebibliography}

