@misc{2003-ancona-stronger
,note={URL: {\tt http://www.macs.hw.ac.uk/DART/reports/D5.1/AL03a.pdf}. Note: Technical report, Dipartimento di Informatica e Scienze dell'Informazione and see also newer version $0}
,author={Davide Ancona and Giovanni Lagorio}
,title={{Stronger typings for separate compilation of Java-like languages}}
,year={2003}
}