@inproceedings{ftfjp11-fractions,
	author    = {Stefan Heule and K. Rustan M. Leino and Peter Müller and Alexander J. Summers},
	title     = {Fractional Permissions without the Fractions},
	booktitle = {Formal Techniques for Java-like Programs ({FTfJP})},
	pages     = {1--6},
	year      = {2011},
	month     = {July},
	publisher = {{ACM}},
	note      = {Superseded by the {VMCAI'13} publication.},
	url       = {http://dx.doi.org/10.1145/2076674.2076675},
	doi       = {10.1145/2076674.2076675},
	biburl    = {https://stefanheule.com/publications/ftfjp11-fractions/},
	bibsource = {stefanheule.com, https://stefanheule.com/}
}