@inproceedings { whaley-efficient,
author = { John Whaley and Monica S. Lam },
title = { An Efficient Inclusion-Based Points-To Analysis for Strictly-Typed Languages },
booktitle = { Proceedings of the 9th International Static Analysis Symposium },
month = { September },
year = { 2002 },
url = { citeseer.ist.psu.edu/whaley02efficient.html },
}