@conference {Mil,
	title = {Aliasing control with view-based typestate},
	booktitle = {Formal Techniques for Java Programs (FTfJP)},
	year = {2010},
	note = {n/a},
	abstract = {n/a},
	author = {Filipe Milit{\~a}o and Jonathan Aldrich and Lu{\'\i}s Caires}
}
