@techreport{league99:javaflint2-tr,
author="Christopher League and Zhong Shao and Valery Trifonov",
title="Representing {J}ava Classes in a Typed Intermediate Language (Extended Version)",
institution="Department of Computer Science, Yale University",
address="New Haven, CT", number="YALEU/DCS/RR-1180",
month="June", year=1999 
}