Paolo Ancilotti Maurelio Boari Norma Lijtmaer Language Features for Access Control. 16-25 1983 9 IEEE Trans. Software Eng. 1 db/journals/tse/tse9.html#AncilottiBL83