\bib{2003/ancona-stronger}
\yr 2003
\by Davide Ancona
\by Giovanni Lagorio
\paper Stronger typings for separate compilation of Java-like languages
\paperinfo Technical report, Dipartimento di Informatica e Scienze dell'Informazione
\url http://www.macs.hw.ac.uk/DART/reports/D5.1/AL03a.pdf
\seenewer \cite{2004/ancona-stronger}
\endref