@inproceedings{ zhao2003lightweight,
    author = "Tian Zhao and Jens Palsberg and Jan Vitek",
    title = "Lightweight Confinement for Featherweight Java",
    booktitle = "Proceedings of the 18th {ACM SIGPLAN} conference on Object-oriented programing, systems, languages, and applications",
    pages = "135--148",
    publisher = "ACM SIGPLAN",
    url = "http://www.ovmj.org/kacheck/oopsla2003.pdf",
    year = "2003"
}