Acar, Umut A. Group U. Acar, Max Planck Institute for Software Systems, Max Planck Society;
Perera, Roly Group D. Garg, Max Planck Institute for Software Systems, Max Planck Society;
Acar, U. A., Ahmed, A., Cheney, J., & Perera, R. (2012). A Core Calculus for Provenance. In P. Degano, & J. D. Guttman (Eds.), Principles of Security and Trust: First International Conference, POST 2012 (pp. 410-429). New York, NY: Springer.