@InProceedings{league01:_type_preser_compil_feath_java,
  author =       {Christopher League and Valery Trifonov and Zhong Shao},
  title =        {Type-Preserving Compilation of Featherweight Java},
  booktitle =    {Foundations of Object-Oriented Languages (FOOL8)},
  year =         2001,
  address =      {London},
  month =        {January}
}