@conference {14283,
	title = {Type qualifier inference for Java},
	booktitle = {ACM SIGPLAN Notices},
	volume = {42},
	year = {2007},
	month = {2007///},
	pages = {321 - 336},
	author = {Greenfieldboyce,D. and Foster, Jeffrey S.}
}
