Roles, Stacks, Histories: A Triple for Hoare - Borgström, Johannes; Gordon, Andrew D.; Pucella, Riccardo (Reflections on the Work of C.A.R. Hoare, 2010)
Keywords: Access Control; Access Control Policy; Application Programming Interface; Computation Type; Satisfiability Modulo Theory