@inproceedings{GPCE-2006-PerryJW,
	author        = "Frances Perry and Limin Jia and David Walker",
	booktitle     = "{Proceedings of the Fifth International Conference on Generative Programming and Component Engineering}",
	doi           = "10.1145/1173706.1173723",
	isbn          = "1-59593-237-2",
	pages         = "101--110",
	publisher     = "{ACM}",
	title         = "{Expressing heap-shape contracts in linear logic}",
	year          = 2006,
}