@inproceedings{ gagnon00efficient,
    author = "Etienne Gagnon and Laurie J. Hendren and Guillaume Marceau",
    title = "Efficient Inference of Static Types for Java Bytecode",
    booktitle = "Static Analysis Symposium",
    pages = "199--219",
    year = "2000",
    url = "www.sable.mcgill.ca/publications"
}