\bib{2004/ancona-stronger}
\yr 2004
\by Davide Ancona
\by Giovanni Lagorio
\paper Stronger typings for separate compilation of Java-like languages
\pages 5--25
\jour Journal of Object Technology
\issn 1660--1769
\vol 3
\num 6
\url http://www.jot.fm/jot/issues/issue\_2004\_06/article1/article1.pdf
\seeolder \cite{2003/ancona-stronger}
\endref