@article{2004-ancona-stronger ,note={URL: {\tt http://www.jot.fm/jot/issues/issue\_2004\_06/article1/article1.pdf}. Note: see also older version $0} ,author={Davide Ancona and Giovanni Lagorio} ,ISSN={1660--1769} ,journal={Journal of Object Technology} ,number={6} ,pages={5--25} ,title={{Stronger typings for separate compilation of Java-like languages}} ,volume={3} ,year={2004} }