@ARTICLE {
	AUTHOR = "Ronald Garcia and {\'E}ric Tanter and Roger Wolff and Jonathan Aldrich",
	TITLE ="Foundations of Typestate-Oriented Programming",
	JOURNAL = "ACM Transactions on Programming Languages and Systems (TOPLAS)",
	VOLUME = "36",
	NUMBER = "4",
	PAGES = "article 12",
	MONTH = "Oct",
	YEAR = "2014",
	PUBLISHER = "ACM Press",
	ADDRESS = "New York, NY, USA",
	ISSN = "0164-0925"
	}