U. A.  Acar, Ahmed, A., Cheney, J., and Perera, R., ?A Core Calculus for Provenance?, in POST, 2012.