Miller, M. S., and J. S. Shapiro,
"Paradigm Regained: Abstraction Mechanisms for Access Control",
8th Asian Computing Science Conference (Advances in Computing Science - ASIAN 2003, Programming Languages and Distributed Computation), Mumbai, India, pp. 224-242, December, 2003.