Christopher League Zhong Shao Valery Trifonov Precision in Practice: A Type-Preserving Java Compiler. 106-120 2003 conf/cc/2003 CC http://link.springer.de/link/service/series/0558/bibs/2622/26220106.htm db/conf/cc/cc2003.html#LeagueST03