Abadi, 2007. Access Control in a Core Calculus of Dependency 172.. https://doi.org/10.1016/j.entcs.2007.02.002