@InProceedings{HeuleLeinoMuellerSummers11,
  author =       {S. Heule and K. R. M. Leino and P. M{\"u}ller and A. J. Summers},
  title =	 {Fractional Permissions Without the Fractions},
  booktitle =	 {Formal Techniques for {J}ava-like Programs (FTfJP)},
  year =	 {2011},
  url =          {http://doi.acm.org/10.1145/2076674.2076675},
  urltext =      {[Publisher]}
}