@conference {DBLP:conf/pldi/KawaguchiRJ09,
	title = {Type-based data structure verification},
	booktitle = {Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009, Dublin, Ireland, June 15-21, 2009},
	year = {2009},
	pages = {304{\textendash}315},
	doi = {10.1145/1542476.1542510},
	url = {http://doi.acm.org/10.1145/1542476.1542510},
	author = {Ming Kawaguchi and Patrick Maxim Rondon and Ranjit Jhala}
}
