@inproceedings{agarwal04type,
author="Rahul Agarwal and Scott D. Stoller",
title="Type Inference for Parameterized Race-Free Java",
booktitle="Proceedings of the Fifth International Conference on Verification, Model Checking and Abstract Interpretation",
month=jan,
year=2004,
series="Lecture Notes in Computer Science",
publisher="Springer-Verlag",
volume=2937,
pages="149-160"
}