Umut A. Acar, Amal Ahmed, James Cheney, Roly Perera: A Core Calculus for Provenance. POST 2012: 410-429