Dominique Devriese, Lars Birkedal, Frank Piessens: Reasoning about Object Capabilities with Logical Relations and Effect Parametricity. EuroS&P 2016: 147-162