@INPROCEEDINGS {
	AUTHOR = "Roger Wolff and Ronald Garcia and {\'E}ric Tanter and Jonathan Aldrich",
	TITLE = "Gradual Typestate",
	BOOKTITLE = "European Conference on Object-Oriented Programming (ECOOP)",
	PAGES = "459-483",
	MONTH = "Jul",
	YEAR = "2011",
	PUBLISHER = "Springer-Verlag",
	SERIES ="Lecture Notes in Computer Science",
	NUMBER = "6813",
	}